Lambda-calculus for natural language modeling
Instructors: Greg Kobele and Sylvain Salvati
Time: 9:00 - 10:30 AM
Location: Tydings, Room 1108
Course Website: home.uchicago.edu/~gkobele/NASSLLI-2014/index.html
Course Description: Since the work of Montague, the lambda-calculus has become a privileged tool to represent the interface between syntax and semantics. In the last decade, following the work of de Groote and Muskens on abstract categorial grammars and lambda-grammars, it has become clear that syntax can also be represented using lambda-terms. As a matter of fact, the lambda-calculus has proved to be an elegant way of representing most of the grammatical and transduction models that are present in the literature. It thus provides a unified view of most of the basic notions proposed in formal language theory. The aim of this course is to present an introduction to the lambda-calculus and exemplify its use in the modeling of natural language. This course shall also present various concepts related to semantics and formal language theory from the point of view of lambda-calculus.
Schedule of all courses