Thierry Coquand, invited to hold the Computer Sciences and Digital Technologies Annual Chair, will give his opening lecture on March 13 2025.
Press release
Published on 27 February 2025
News
Type theory, from Russell to demonstration assistants
Press release
