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