David Corfield
type-shifting

Barbara Partee, Noun Phrase Interpretation and Type-shifting principles.

Does it all take place in Montague semantics?

Their lifting seems to be the continuation monad?.

Their ‘ident’ is the passage a:Aa: A shift to x:AId(x,a):Typex: A \vdash Id(x, a): Type or Id(,a):ATypeId(-,a): A \to Type.

Last revised on May 6, 2021 at 16:36:25. See the history of this page for a list of all contributions to it.