Introduction by Stergios Chatzikyriakidis and Zhaohui Luo.- Part I. Foundational Issues.- Context-Passing and Underspecification in Dependent Type Semantics by Daisuke Bekki and Koji Mineshima.- On the Interpretation of Common Nouns: Types v.s. Predicates by Stergios Chatzikyriakidis and Zhaohui Luo.- Adapting Type Theory with Records for Natural Language Semantics by Robin Cooper.- Generalized Quantifiers on Dependent Types: A System for Anaphora Language Semantics by Justyna Grudzinska and Marek Zawadowski.- Part II. Types and Applications.- Types, Meanings and Co-composition in Lexical Semantics by Nicholas Asher, Marta Abrusan and Tim van de Cruys.- Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics by Bruno Mery and Christian Retoré.- Probabilistic Record Type Lattices for Incremental Reference Processing by Julian Hough and Matthew Purver.- Intensions, Types and Finite-state Truthmaking by Tim Fernando.- Part III. Implementational Aspects.- The Grail Theorem Prover: Type theory for Syntax and Semantics by Richard Moot.- Probability Distributions in Type Theory with Applications in Natural Language Syntax by Krasimir Angelov.
