TTR

Type Theory with Records

TTR is a type theoretical system developed for the analysis of natural language, in particular from the perspective of interaction and learning.

This site will take over the function of the records page and information on that page will migrate here.