Readings

Literature on TTR is available on https://sites.google.com/site/typetheorywithrecords/publications.

References associated with the lectures are given at the end of slides for the individual lectures (available on the course schedule).

Cooper, Robin (in prep.) Draft of From perception to communication: An analysis of meaning and action using a theory of types with records (TTR) (pdf)

Cooper, Robin (2019) Types as Learnable Cognitive Resources in PyTTR, in Cleo Condoravdi and Tracy Holloway King (eds.) Tokens of Meaning: Papers in Honor of Lauri Karttunen, CSLI Publications, pp. 569--586. (prefinal draft)

Cooper, Robin and Jonathan Ginzburg (2015) Type Theory with Records for Natural Language Semantics, in Handbook of Contemporary Semantic Theory (second edition), ed. by Shalom Lappin and Chris Fox, Wiley-Blackwell, pp. 375–407 (pre-final draft)

Larsson, S. (2013). Formal semantics for perceptual classification. Journal of logic and computation, 25(2), 335-369. (Pre-final version, PDF)

Staffan Larsson (in press): Discrete and Probabilistic Classifier-based Semantics. Proceedings of Probability and Meaning. (Preprint PDF)