Modern Perspectives in Type-Theoretical Semantics