Login

Chatzikyriakidis, Stergios

Modern Perspectives in Type-Theoretical Semantics

Chatzikyriakidis, Stergios - Modern Perspectives in Type-Theoretical Semantics, ebook

123,00€

Ebook, PDF with Adobe DRM
ISBN: 9783319504223
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Editor
 
Publisher
Springer
Publication year
2017
Language
en
Edition
1
Series
Studies in Linguistics and Philosophy
Category
Languages
Format
Ebook
eISBN (PDF)
9783319504223
Printed ISBN
978-3-319-50420-9

Similar titles