Dependent Types and Dynamics of Natural Language

Há 1 ano 179 Visualizações

Dependent Types and Dynamics of Natural Language

Há 1 ano 7 Visualizações

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

Há 4 anos 39 Visualizações

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

Há 4 anos 35 Visualizações

ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types

Há 4 anos 26 Visualizações

ESSLLI2016 DTS Lecture Day 4-1: Common Noun

Há 4 anos 42 Visualizações

ESSLLI2016 DTS Lecture Day3: Presupposition

Há 4 anos 38 Visualizações

Composing (Im)politeness in Dependent Type Semantics

Há 8 anos 897 Visualizações

Conventional Implicature via Dependent Type Semantics

Há 8 anos 1142 Visualizações

Calculating Projections via Type Checking

Há 8 anos 840 Visualizações

Dependent Types in Natural Language Semantics

Há 8 anos 1316 Visualizações