Language and Logic advanced course:
Advances in Abstract Categorial Grammars: Language theory and linguistic modeling.
Course material: esslli-acg-week-2.pdf
The abstract categorial grammar (ACG) (de Groote 2001), a grammar formalism based on the typed lambda calculus, elegantly generalizes and unifies a variety of grammar formalisms that have been proposed for the description of formal and natural languages. The first part of this course investigates formal-language-theoretic properties of "second-order" ACGs, a subclass of ACGs that have "context-free" derivations. Their generative capacity is precisely characterized, and an efficient Earley-style algorithm is presented. The second part of the course turns to linguistic applications of ACGs and gives various illustrations of how ACGs provide flexible and explicit ways to model the syntax-semantics interface of natural language.