ºÝºÝߣ


From Dependent Types to Natural Language Semantics

7 months ago • 15 Views

Dependent Types and Dynamics of Natural Language

2 years ago • 185 Views

Dependent Types and Dynamics of Natural Language

2 years ago • 8 Views

ESSLLI2016 DTS Lecture Day 5-2: Proof-theoretic Turn

4 years ago • 45 Views

ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types

4 years ago • 26 Views

ESSLLI2016 DTS Lecture Day 4-1: Common Noun

4 years ago • 44 Views

ESSLLI2016 DTS Lecture Day3: Presupposition

4 years ago • 45 Views

Composing (Im)politeness in Dependent Type Semantics

9 years ago • 901 Views

Conventional Implicature via Dependent Type Semantics

9 years ago • 1147 Views

Calculating Projections via Type Checking

9 years ago • 841 Views

Dependent Types in Natural Language Semantics

9 years ago • 1323 Views