Title: Some uses of type theory in the analysis of language
Subjects: Language and languages, Philosophy