12 May 2025 10:00 - 11:00 Lecture Eilenberg-MacLane spaces and cohomology Thierry Coquand Dependent type theory and mathematical formalization 12 May 2025 10:00 - 11:00 Share Facebook LinkedIn Bluesky Threads Copy url Audio-visual RSS
Monday 12 May 2025 Salle 5, Site Marcelin Berthelot Open to all 10:00 - 11:00 Skip youtube video player Listen to audio Lecture outline:group unbundling operation;a paradigmatic example of the definition of non-set types, the Eilenberg-MacLane spaces;use of these types to define cohomology groups. Documents and media Download support pdf (404.67 KB) Speaker(s) Thierry Coquand Professor of Computer Science, University of Gothenburg, Sweden Events Previous Lecture 17 Mar 2025 10:00 - 11:00 Thierry Coquand Type theory, from Russell to de Bruijn Lecture 24 Mar 2025 10:00 - 11:00 Thierry Coquand Natural deduction and models Lecture 31 Mar 2025 10:00 - 11:00 Thierry Coquand Universe, paradoxes and standardization Lecture 7 Apr 2025 10:00 - 11:30 Thierry Coquand Type theory and set theory Lecture 28 Apr 2025 10:00 - 11:00 Thierry Coquand The mystery of equality; the notion of type as a generalization of the notion of … Lecture 5 May 2025 10:00 - 11:00 Thierry Coquand Type theory models and the principle of univalence Lecture 12 May 2025 10:00 - 11:00 Thierry Coquand Eilenberg-MacLane spaces and cohomology Lecture 19 May 2025 10:00 - 11:00 Thierry Coquand Modalities and models of type theory Next See also Thierry Coquand, chair Computer Sciences and Digital Technologies Dependent type theory and mathematical formalization
Lecture 28 Apr 2025 10:00 - 11:00 Thierry Coquand The mystery of equality; the notion of type as a generalization of the notion of …