Dependent Types and Dynamics of Natural Language

il y a 1 an 179 Vues

Dependent Types and Dynamics of Natural Language

il y a 1 an 7 Vues

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

il y a 4 ans 39 Vues

ESSLLI2016 DTS Lecture Day 5-1: Introduction to day 5

il y a 4 ans 35 Vues

ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types

il y a 4 ans 26 Vues

ESSLLI2016 DTS Lecture Day 4-1: Common Noun

il y a 4 ans 42 Vues

ESSLLI2016 DTS Lecture Day3: Presupposition

il y a 4 ans 38 Vues

Composing (Im)politeness in Dependent Type Semantics

il y a 8 ans 897 Vues

Conventional Implicature via Dependent Type Semantics

il y a 8 ans 1142 Vues

Calculating Projections via Type Checking

il y a 8 ans 840 Vues

Dependent Types in Natural Language Semantics

il y a 8 ans 1316 Vues