Modern Perspectives in Type-Theoretical Semantics

1. Introduction: Modern Perspectives in Type Theoretical Semantics
Stergios Chatzikyriakidis, Zhaohui Luo

Part I. Foundational Issues

2. Context-Passing and Underspecification in Dependent Type Semantics
Daisuke Bekki, Koji Mineshima

3. On the Interpretation of Common Nouns: Types Versus Predicates
Stergios Chatzikyriakidis, Zhaohui Luo

4. Adapting Type Theory with Records for Natural Language Semantics
Robin Cooper

5. Generalized Quantifiers on Dependent Types: A System for Anaphora
Justyna Grudzińska, Marek Zawadowski

Part II. Types and Applications

6. Types, Meanings and Co-composition in Lexical Semantics
Nicholas Asher, Marta Abrusan, Tim Cruys

7. Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics
Bruno Mery, Christian Retoré

8. Probabilistic Record Type Lattices for Incremental Reference Processing
Julian Hough, Matthew Purver

9. Intensions, Types and Finite-State Truthmaking
Tim Fernando

Part III. Implementational Aspects

10. The Grail Theorem Prover: Type Theory for Syntax and Semantics
Richard Moot

11. Probability Distributions in Type Theory with Applications in Natural Language Syntax
Krasimir Angelov

Keywords: Linguistics, Semantics, Computational Linguistics, Logic, Computer Appl. in Arts and Humanities