Dependent Type Semantics and its Davidsonian extensions

Hace 1 semana 4 Visualizaciones

Dependent Types and Dynamics of Natural Language

Hace 1 año 180 Visualizaciones

Dependent Types and Dynamics of Natural Language

Hace 1 año 7 Visualizaciones

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

Hace 4 años 39 Visualizaciones

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

Hace 4 años 35 Visualizaciones

ESSLLI2016 DTS Lecture Day 4-2: More Dependent Types

Hace 4 años 26 Visualizaciones

ESSLLI2016 DTS Lecture Day 4-1: Common Noun

Hace 4 años 42 Visualizaciones

ESSLLI2016 DTS Lecture Day3: Presupposition

Hace 4 años 41 Visualizaciones

ESSLLI2016 DTS Lecture Day 2: Dependent Type Semantics (DTS)

Hace 4 años 37 Visualizaciones

Composing (Im)politeness in Dependent Type Semantics

Hace 8 años 897 Visualizaciones

Conventional Implicature via Dependent Type Semantics

Hace 8 años 1143 Visualizaciones

Two types of Japanese scrambling in combinatory categorial grammar

Hace 8 años 857 Visualizaciones

Calculating Projections via Type Checking

Hace 8 años 840 Visualizaciones

Dependent Types in Natural Language Semantics

Hace 8 años 1317 Visualizaciones