Daisuke BEKKI, profile picture

Daisuke BEKKI

Sort by
From Dependent Types to Natural Language Semantics
Dependent Type Semantics and its Davidsonian extensions
Dependent Types and Dynamics of Natural Language
Dependent Types and Dynamics of Natural Language
Why parsing is a part of Language Faculty Science (by Daisuke Bekki)
A hybrid approach toward Natural Language Understanding (by Daisuke Bekki)
ESSLLI2016 DTS Lecture Day 5-2: Proof-theoretic Turn
ESSLLI2016 DTS Lecture Day 5-1: Introduction to day 5
ESSLLI2016 DTS Lecture Day 4-3: Generalized Quantifiers (guest lecture by Ribeka Tanaka)
ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types
ESSLLI2016 DTS Lecture Day 4-1: Common Noun
ESSLLI2016 DTS Lecture Day3: Presupposition
ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS)
ESSLLI2016 DTS Lecture Day 1: From natural deduction to dependent type theory
Composing (Im)politeness in Dependent Type Semantics