Categorial Linguistics

Glyn Morrill

In this talk I survey the computational integration and extension of the logical syntax of Joachim Lambek (1958) and the logical semantics of Richard Montague (1973).