Share Facebook LinkedIn Bluesky Threads Copy url Collège de France publications Search for a publication 1 publications Filters Author Author Search an author Thierry Coquand Collections Collections Opening lectures (1) Active filters Thierry Coquand Thierry Coquand La théorie des types, de Russell aux assistants à la démonstration Opening lectures Édition imprimée 2026
Thierry Coquand La théorie des types, de Russell aux assistants à la démonstration Opening lectures Édition imprimée 2026
