↓ Skip to main content
What is this page? Embed badge

Modern Perspectives in Type-Theoretical Semantics

Overview of attention for book
Cover of 'Modern Perspectives in Type-Theoretical Semantics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction: Modern Perspectives in Type Theoretical Semantics
  3. Altmetric Badge
    Chapter 2 Context-Passing and Underspecification in Dependent Type Semantics
  4. Altmetric Badge
    Chapter 3 On the Interpretation of Common Nouns: Types Versus Predicates
  5. Altmetric Badge
    Chapter 4 Adapting Type Theory with Records for Natural Language Semantics
  6. Altmetric Badge
    Chapter 5 Generalized Quantifiers on Dependent Types: A System for Anaphora
  7. Altmetric Badge
    Chapter 6 Types, Meanings and Co-composition in Lexical Semantics
  8. Altmetric Badge
    Chapter 7 Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics
  9. Altmetric Badge
    Chapter 8 Probabilistic Record Type Lattices for Incremental Reference Processing
  10. Altmetric Badge
    Chapter 9 Intensions, Types and Finite-State Truthmaking
  11. Altmetric Badge
    Chapter 10 The Grail Theorem Prover: Type Theory for Syntax and Semantics
  12. Altmetric Badge
    Chapter 11 Probability Distributions in Type Theory with Applications in Natural Language Syntax
Attention for Chapter 10: The Grail Theorem Prover: Type Theory for Syntax and Semantics
Altmetric Badge

Citations

dimensions_citation
11 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
The Grail Theorem Prover: Type Theory for Syntax and Semantics
Chapter number 10
Book title
Modern Perspectives in Type-Theoretical Semantics
Published by
Springer International Publishing, February 2017
DOI 10.1007/978-3-319-50422-3_10
Book ISBNs
978-3-31-950420-9, 978-3-31-950422-3
Authors

Richard Moot

Editors

Stergios Chatzikyriakidis, Zhaohui Luo

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 1 50%
Student > Postgraduate 1 50%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.