Title: Type-Logical Syntax
Subjects: Language and languages