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) 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
