17 Mar 2025 → 19 May 2025 Lecture Dependent type theory and mathematical formalization 17 Mar 2025 → 19 May 2025 Share Facebook X (ex-Twitter) Linkedin Copy url
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 …