13 Mar 2025 Opening lecture Type theory, from Russell to demonstration assistants 13 Mar 2025 Share Facebook LinkedIn Bluesky Threads Copy url
Opening lecture 13 Mar 2025 18:00 - 19:00 Thierry Coquand Type theory, from Russell to demonstration assistants