Simple quantificational binding using parasitic scope should be easy,
but how reconstruction would work is not so clear.]
Simple quantificational binding using parasitic scope should be easy,
but how reconstruction would work is not so clear.]
We'll present tower notation, then comment and motivate several of its
features as we consider various applications. For now, we'll motivate
the tower notation by thinking about box types. In the discussion of
We'll present tower notation, then comment and motivate several of its
features as we consider various applications. For now, we'll motivate
the tower notation by thinking about box types. In the discussion of
| [x->2, y->3] | | [x->2, y->3] | | [x->2, y->3] |
------------------- ------------------ ------------------
| | ¢ | | = | |
| [x->2, y->3] | | [x->2, y->3] | | [x->2, y->3] |
------------------- ------------------ ------------------
| | ¢ | | = | |
We'll use a simply-typed system with two atomic types, DP (the type of
individuals) and S (the type of truth values).
We'll use a simply-typed system with two atomic types, DP (the type of
individuals) and S (the type of truth values).
Then in the spirit of monadic thinking, we'll have a way of lifting an
arbitrary value into the tower system:
Then in the spirit of monadic thinking, we'll have a way of lifting an
arbitrary value into the tower system:
in Montague and Partee, but to any expression whatsoever. For
instance, here is LIFT applied to a lexical verb phrase:
in Montague and Partee, but to any expression whatsoever. For
instance, here is LIFT applied to a lexical verb phrase:
Once we have expressions of type (α -> β) -> γ, we'll need to combine
them. We'll use the ¢ operator from the continuation monad:
Once we have expressions of type (α -> β) -> γ, we'll need to combine
them. We'll use the ¢ operator from the continuation monad:
Note that the types below the horizontal line combine just like
functional application (i.e, f:(α->β) (x:α) = fx:β).
Note that the types below the horizontal line combine just like
functional application (i.e, f:(α->β) (x:α) = fx:β).
Neverthless, obeys the monad laws.
Oh, one more thing: because natural language allows the functor to be
Neverthless, obeys the monad laws.
Oh, one more thing: because natural language allows the functor to be