The chair Biography and publications Public lectures Audios and videos News Publication of the inaugural lecture by Professor Thierry Coquand Print edition Published on 18 March 2026 Type theory, from Russell to demonstration assistants Press release Published on 27 February 2025 Building mathematical proofs Thierry Coquand Published on 10 February 2025
