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 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 Retore.- 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.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Aplicações de negócios
• Semiótica / semiologia
• Linguística computacional
• Filosofia: a lógica

Anaphora;Computation in natural language context;Computational semantics;Formal semantics;Generalized Quantifiers on dependent types;Grail theorem prover;Lexical semantics;Natural language semantics;Type theory;Type-logical grammars;Unbound anaphora