Produktbild: Modern Perspectives in Type-Theoretical Semantics
Band 98

Modern Perspectives in Type-Theoretical Semantics

105,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

13.02.2017

Abbildungen

VIII, 296 p. 49 illus.

Herausgeber

Stergios Chatzikyriakidis + weitere

Verlag

Springer

Seitenzahl

296

Maße (L/B/H)

24,1/16/2,2 cm

Gewicht

623 g

Auflage

1st ed. 2017

Sprache

Englisch

ISBN

978-3-319-50420-9

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

13.02.2017

Abbildungen

VIII, 296 p. 49 illus.

Herausgeber

Verlag

Springer

Seitenzahl

296

Maße (L/B/H)

24,1/16/2,2 cm

Gewicht

623 g

Auflage

1st ed. 2017

Sprache

Englisch

ISBN

978-3-319-50420-9

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Modern Perspectives in Type-Theoretical Semantics
  • 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.