Formal Semantics in Modern Type Theories - Stergios Chatzikyriakidis (Wiley, 2020)