3 works on record
Modern Perspectives in Type-Theoretical Semantics
Formal Semantics in Modern Type Theories
Probabilistic Approaches to Linguistic Theory