Author:Koji Mineshima

Publications
Paychecks, Presupposition, and Dependent Types Ribeka Tanaka, Koji Mineshima and Daisuke Bekki EasyChair Preprint 215

Keyphrases

anaphora, anaphora resolution, dependent function type, dependent type theory, Natural Language Semantic, paycheck pronouns, presupposition, proof-theoretic semantics.