Type Theory with Records: From perception to communication

This is a list of contents from a course given at CLASP in 2017.

The course introduces TTR, a Type Theory with Records, as a framework for natural language grammar and interaction. We follow Cooper (in preparation) in taking a dialogical view of semantics. The course covers the formal foundations of TTR, the relation between TTR and other type theories for natural language semantics, as well as extensions and applications of TTR.

The course included both lectures and exercises related to the readings, as well as workshop-style discussions and presentations. The content listed below is the part of the course that treated TTR fundamentals. There is also an exercise set.