→
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.

Type theory, from Russell to de Bruijn
Thierry Coquand

Lecture
10:00 to 11:00

Natural deduction and models
Thierry Coquand

Lecture
10:00 to 11:00

Universe, paradoxes and standardization
Thierry Coquand

Lecture
10:00 to 11:00

Type theory and set theory
Thierry Coquand

Lecture
10:00 to 11:30

The mystery of equality; the notion of type as a generalization of the notion of …
Thierry Coquand

Lecture
10:00 to 11:00

Type theory models and the principle of univalence
Thierry Coquand

Lecture
10:00 to 11:00

Eilenberg-MacLane spaces and cohomology
Thierry Coquand

Lecture
10:00 to 11:00

Modalities and models of type theory
Thierry Coquand

Lecture
10:00 to 11:00