Logga in

Chatzikyriakidis, Stergios

Modern Perspectives in Type-Theoretical Semantics

Chatzikyriakidis, Stergios - Modern Perspectives in Type-Theoretical Semantics, e-bok

109,10€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9783319504223
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

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

Utgivare
 
Utgivare
Springer
Utgivningsår
2017
Språk
en
Utgåva
1
Serie
Studies in Linguistics and Philosophy
Kategori
Språk
Format
E-bok
eISBN (PDF)
9783319504223
Tryckt ISBN
978-3-319-50420-9

Liknande e-böcker