Aller au contenu principal

Accès rapides

  • Agenda
  • Audios & vidéos
  • Chaires
  • EN
  • EN

Navigation principale

  • Les enseignements
    • Agenda
    • Audios & vidéos
    • Chaires actuelles
    • Grands événements
    • Conférenciers invités
    • Tous les enseignements
  • Recherche
  • Bibliothèques
  • Éditions
  • Le Collège de France
    • L'institution et son histoire
    • Les chaires
    • Les prix scientifiques
    • Les grands événements
    • Programmes spécifiques
    • Diffusion numérique des savoirs
    • La Fondation du Collège de France
    • La Fondation Hugot
    • Université PSL
    • Formation doctorale
    • Travailler au Collège de France
    • Actualités
    • Visiter le Collège de France

Accès rapides

  • Agenda
  • Audios & vidéos
  • Chaires
Thierry Coquand
Thierry Coquand

Actualités

Informatique et sciences numériques

Menu de la chaire

  • La chaire
  • Biographie et publications
  • Enseignements
  • Audios & vidéos
  • Actualités
  • Apple Podcasts
  • Spotify
  • Flux RSS Podcasts
  • Flux RSS Actualités
  • Flux RSS Audiovisuel
  • Facebook
  • LinkedIn
  • Bluesky
  • Threads
  • Copier le lien
  • La chaire
  • Biographie et publications
  • Enseignements
  • Audios & vidéos
  • Actualités

Actualité épinglée

Thierry Coquand

Construire des preuves mathématiques

Thierry Coquand
Publié le 10 février 2025
Thierry Coquand devant un tableau rempli de formules mathématiques

La théorie des types, de Russell aux assistants à la démonstration

Communiqué de presse
Publié le 27 février 2025

Fil d'Ariane

  1. Accueil
  2. Le Collège
  3. Les chaires
  4. Chaires annuelles
  5. Chaire annuelle Informatique et sciences numériques
  6. Thierry Coquand, chaire Informatique et sciences numériques
  7. Actualités

Accès direct

  • Agenda
  • Audios & vidéos
  • Actualités
  • Presse et kit logo
  • Le Collège en 10 questions
  • Formation doctorale
  • Travailler au Collège de France
  • Marchés publics
  • La Lettre du Collège
  • Visiter le Collège de France
  • Mécènes et donateurs

Nos autres sites

  • Intranet
  • Omnia
  • Salamandre
  • Colligere
  • Fondation du Collège de France
  • Programme PAUSE
  • Avenir Commun Durable
  • La Vie des idées
  • Campus de l’innovation pour les lycées

S’inscrire à notre lettre d’information

Nous suivre

Faire un don

Footer menu

  • Accès et contacts
  • Mentions légales
  • Crédits
  • Accessibilité : non conforme