77
Type-Logical Semantics
nVery tight coupling of
syntax, semantics
nDraws heavily on formal
logic principles (proof theory,
lambda calculus)nCoupling morphosyntax
and semantics
nParsing languages with
complex morphosyntactic structure
(Korean, Turkish, Amerindian
languages)