Text this: Formal Semantics in Modern Type Theories (1st Edition)