Share Facebook LinkedIn Bluesky Threads Copy url News RSS News Search Sort from the newest to the oldest from the newest to the oldest from the oldest to the newest by relevance 1 news Filters Publication date Publication date From To Apply Categories Categories (-) Press release (1) Public lectures (2) Chairs Chairs Search a professor or a chair Thierry Coquand (2024 - today) Areas Areas Mathematics and computer sciences (1) Active filters Press release Thierry Coquand (2024 - today) Sort from the newest to the oldest from the newest to the oldest from the oldest to the newest by relevance Type theory, from Russell to demonstration assistants Thierry Coquand, chair Computer Sciences and Digital Technologies Published on 27 February 2025
Type theory, from Russell to demonstration assistants Thierry Coquand, chair Computer Sciences and Digital Technologies Published on 27 February 2025
