Stergios Chatzikyriakidis

• Modern Perspectives in Type-Theoretical Semantics
• Formal Semantics in Modern Type Theories
• Probabilistic Approaches to Linguistic Theory