Modern Perspectives in Type-Theoretical Semantics

Offers original interdisciplinary work on type theoretical semantics at the junction of linguistics, logic and computer science Covers both theoretical and implementational apsects Introduces cutting edge alternatives in formal semantics research Includes supplementary material: sn.pub/extras