Stergios Chatzikyriakidis

Books
Types and the Structure of Meaning Types and the Structure of Meaning
Types and the Structure of Meaning
2025
Formal Semantics in Modern Type Theories Formal Semantics in Modern Type Theories
Formal Semantics in Modern Type Theories
2020
Short Stories Short Stories
Short Stories
2020
Modern Perspectives in Type-Theoretical Semantics Modern Perspectives in Type-Theoretical Semantics
Modern Perspectives in Type-Theoretical Semantics
2017