Formal semantics in modern type theories - Chatzikyriakidis, Stergios (Logic linguistics and computer science set ;, 2020)