Signed-off-by: Jim Pryor <profjim@jimpryor.net>
(1 Nov) Lecture notes for [[Week7]]; [[Assignment6]].
-> Topics: Monads; [[Reader Monad]]; [[Intensionality Monad]]
+> Topics: Monads; [[Reader Monad for Variable Binding]]; [[Reader Monad for Intensionality]]
[[Upcoming topics]]
Now we'll look at using monads to do intensional function application.
-This really is just another application of the Reader monad, not a new monad.
+This is just another application of the Reader monad, not a new monad.
In Shan (2001) [Monads for natural
language semantics](http://arxiv.org/abs/cs/0205026v1), Ken shows that
making expressions sensitive to the world of evaluation is conceptually
But first, we'll look at several linguistic applications for monads, based
on what's called the *Reader monad*.
-##[[Reader monad]]##
+##[[Reader monad for Variable Binding]]##
-##[[Intensionality monad]]##
+##[[Reader monad for Intensionality]]##