Radio and PodcastRadio and PodcastLive Radio & Podcasts
Anaphora and Presuppositions in Dependent Type Semantics artwork
Society & Culture

Anaphora and Presuppositions in Dependent Type Semantics

MCMP by MCMP Team

Mar 17, 201801:27:57Society & Culture

Daisuke Bekki (Ochanomizu University) gives a talk at the MCMP Colloquium (2 December, 2015) titled "Anaphora and Presuppositions in Dependent Type Semantics". Abstract: Dependent type semantics (DTS) is a framework of p...

Related Episodes

Continue listening to more episodes from MCMP.

Notations and Diagrams in Algebra

Mar 17, 2018 - 00:19:05

Silvia de Toffoli (Stanford University) gives a talk at the Workshop on Five Years MCMP: Quo Vadis, Mathe...

Degrees of Truth Explained Away

Mar 17, 2018 - 00:17:27

Rossella Marrano (Scuola Normale Superiore Pisa) gives a talk at the Workshop on Five Years MCMP: Quo Vad...

What Are No-Go Theorems Good for?

Mar 17, 2018 - 00:20:04

Radin Dardashti (LMU/MCMP) gives a talk at the Workshop on Five Years MCMP: Quo Vadis, Mathematical Philo...

Valuing Questions

Mar 17, 2018 - 00:18:37

Liam Kofi Bright (CMU Pittsburgh) gives a talk at the Workshop on Five Years MCMP: Quo Vadis, Mathematica...