Context-Passing and Underspecification in Dependent Type Semantics

Daisuke Bekki, Koji Mineshima

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)


Dependent type semantics (DTS) is a framework of discourse semantics based on dependent type theory, following the line of Sundholm (Handbook of Philosophical Logic, 1986) and Ranta (Type-Theoretical Grammar, 1994). DTS attains compositionality as required to serve as a semantic component of modern formal grammars including variations of categorial grammars, which is achieved by adopting mechanisms for local contexts, context-passing, and underspecified terms. In DTS, the calculation of presupposition projection reduces to type checking, and the calculation of anaphora resolution and presupposition binding both reduce to proof search in dependent type theory, inheriting the paradigm of anaphora resolution as proof construction.

Original languageEnglish
Title of host publicationStudies in Linguistics and Philosophy
PublisherSpringer Science and Business Media B.V.
Number of pages31
Publication statusPublished - 2017
Externally publishedYes

Publication series

NameStudies in Linguistics and Philosophy
ISSN (Print)0924-4662
ISSN (Electronic)2215-034X


  • Anaphora Resolution
  • Categorial Grammar
  • Common Noun
  • Natural Language Semantic
  • Proof Term

ASJC Scopus subject areas

  • Language and Linguistics
  • Philosophy


Dive into the research topics of 'Context-Passing and Underspecification in Dependent Type Semantics'. Together they form a unique fingerprint.

Cite this