Share Facebook LinkedIn Bluesky Threads Copy url Collège de France publications Search for a publication 2 publications Filters Author Author Search an author Collections Collections (-) Opening lectures (2) Active filters Opening lectures 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
