Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical Semantics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319504209, 9783319504223

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Grail Theorem Prover: Type Theory for Syntax and Semantics

Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical Semantics ◽

10.1007/978-3-319-50422-3_10 ◽

2017 ◽

pp. 247-277 ◽

Cited By ~ 6

Author(s):

Richard Moot

Keyword(s):

Type Theory ◽

Theorem Prover

Download Full-text

Intensions, Types and Finite-State Truthmaking

Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical Semantics ◽

10.1007/978-3-319-50422-3_9 ◽

2017 ◽

pp. 223-243

Author(s):

Tim Fernando

Keyword(s):

Finite State

Download Full-text

Introduction: Modern Perspectives in Type Theoretical Semantics

Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical Semantics ◽

10.1007/978-3-319-50422-3_1 ◽

2017 ◽

pp. 1-8

Author(s):

Stergios Chatzikyriakidis ◽

Zhaohui Luo

Download Full-text

Context-Passing and Underspecification in Dependent Type Semantics

Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical Semantics ◽

10.1007/978-3-319-50422-3_2 ◽

2017 ◽

pp. 11-41 ◽

Cited By ~ 5

Author(s):

Daisuke Bekki ◽

Koji Mineshima

Keyword(s):

Dependent Type

Download Full-text

Generalized Quantifiers on Dependent Types: A System for Anaphora

Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical Semantics ◽

10.1007/978-3-319-50422-3_5 ◽

2017 ◽

pp. 95-131 ◽

Cited By ~ 3

Author(s):

Justyna Grudzińska ◽

Marek Zawadowski

Keyword(s):

Dependent Types ◽

Generalized Quantifiers

Download Full-text

Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics

Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical Semantics ◽

10.1007/978-3-319-50422-3_7 ◽

2017 ◽

pp. 163-188 ◽

Cited By ~ 1

Author(s):

Bruno Mery ◽

Christian Retoré

Keyword(s):

Compositional Semantics ◽

Theoretical Frameworks ◽

Generative Lexicon

Download Full-text

Types, Meanings and Co-composition in Lexical Semantics

Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical Semantics ◽

10.1007/978-3-319-50422-3_6 ◽

2017 ◽

pp. 135-161

Author(s):

Nicholas Asher ◽

Marta Abrusan ◽

Tim Van de Cruys

Keyword(s):

Lexical Semantics

Download Full-text

On the Interpretation of Common Nouns: Types Versus Predicates

Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical Semantics ◽

10.1007/978-3-319-50422-3_3 ◽

2017 ◽

pp. 43-70 ◽

Cited By ~ 3

Author(s):

Stergios Chatzikyriakidis ◽

Zhaohui Luo

Download Full-text

Probability Distributions in Type Theory with Applications in Natural Language Syntax

Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical Semantics ◽

10.1007/978-3-319-50422-3_11 ◽

2017 ◽

pp. 279-296

Author(s):

Krasimir Angelov

Keyword(s):

Natural Language ◽

Type Theory ◽

Probability Distributions ◽

Natural Language Syntax

Download Full-text

Probabilistic Record Type Lattices for Incremental Reference Processing

Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical Semantics ◽

10.1007/978-3-319-50422-3_8 ◽

2017 ◽

pp. 189-222 ◽

Cited By ~ 2

Author(s):

Julian Hough ◽

Matthew Purver

Keyword(s):

Reference Processing ◽

Record Type

Download Full-text

Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical SemanticsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

The Grail Theorem Prover: Type Theory for Syntax and Semantics

Intensions, Types and Finite-State Truthmaking

Introduction: Modern Perspectives in Type Theoretical Semantics

Context-Passing and Underspecification in Dependent Type Semantics

Generalized Quantifiers on Dependent Types: A System for Anaphora

Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics

Types, Meanings and Co-composition in Lexical Semantics

On the Interpretation of Common Nouns: Types Versus Predicates

Probability Distributions in Type Theory with Applications in Natural Language Syntax

Probabilistic Record Type Lattices for Incremental Reference Processing

Studies in Linguistics and Philosophy - Modern Perspectives in Type-Theoretical Semantics
Latest Publications