→
Lecture

Dependent type theory and mathematical formalization

→

This provider does not allow to add multiple events in one click. Here is the list of the events for you to add individually.

Lecture
10:00 to 11:00
Thierry Coquand

Type theory, from Russell to de Bruijn
Lecture
10:00 to 11:00
Thierry Coquand

Natural deduction and models
Lecture
10:00 to 11:00
Thierry Coquand

Universe, paradoxes and standardization
Lecture
10:00 to 11:30
Thierry Coquand

Type theory and set theory
Lecture
10:00 to 11:00
Thierry Coquand

The mystery of equality; the notion of type as a generalization of the notion of …
Lecture
10:00 to 11:00
Thierry Coquand

Type theory models and the principle of univalence
Lecture
10:00 to 11:00
Thierry Coquand

Eilenberg-MacLane spaces and cohomology
Lecture
10:00 to 11:00
Thierry Coquand

Modalities and models of type theory