Partager Facebook LinkedIn Bluesky Threads Copier le lien Les publications du Collège de France Trouver une publication 2 publications Filtres Auteur Auteur Filtrer par auteur Collections Collections (-) Leçons inaugurales (2) Filtres actifs Leçons inaugurales Thierry Coquand La théorie des types, de Russell aux assistants à la démonstration Leçons inaugurales Édition imprimée 2026 Thierry Coquand La théorie des types, de Russell aux assistants à la démonstration Leçons inaugurales Édition imprimée 2026
