Title: Modern Perspectives in Type-Theoretical Semantics
Subjects: Semantics