Buch
Modern Perspectives in Type-Theoretical Semantics
Stergios Chatzikyriakidis; Zhaohui Luo (Hrsg.)
117,69
EUR
Lieferzeit 12-13 Tage
Übersicht
Verlag | : | Springer International Publishing |
Buchreihe | : | Studies in Linguistics and Philosophy (Bd. 98) |
Sprache | : | Englisch |
Erschienen | : | 13. 07. 2018 |
Seiten | : | 296 |
Einband | : | Kartoniert |
Höhe | : | 235 mm |
Breite | : | 155 mm |
Gewicht | : | 468 g |
ISBN | : | 9783319843971 |
Sprache | : | Englisch |
Inhaltsverzeichnis
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 Grudzińska 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.