Factivity and presupposition in Dependent Type Semantics.

Ribeka Tanaka Koji Mineshima Daisuke Bekki

Published in: J. Lang. Model. (2017)

Keyphrases

logic programming
formal semantics
data sets
real world
search engine
case study
programming language
conceptual graphs
type checking