Modern Perspectives in Type-Theoretical Semantics | lit.salon