Type Theory with Records for Natural Language Semantics (website for 2012 NASSLI course)

Robin Cooper, http://www.ling.gu.se/~cooper/

Jonathan Ginzburg, https://sites.google.com/site/jonathanginzburgswebsite/


We develop an integrated framework which addresses research issues in the semantics of dialogue, dialogue systems, logics of agents and linguistic work on spoken language. We combine this with grammar, semantics (both lexical and phrasal) and principles of interaction. TTR (a version of type theory with records) is a framework which has pioneered an integrated formal treatment of interaction in language. The course will provide a practical introduction to semantic analysis using TTR, grounding its tools in empirical phenomena.