Skip to main content
The English version of this website is provided through automatic translation.

Quick access

  • Events
  • Audios & videos
  • Chaires
  • FR
  • FR

Navigation principale

  • Public lectures
    • Agenda
    • Audio & video
    • Current chairs
    • Special events
    • Guest lecturers
    • All public lectures
  • Research
  • Libraries
  • Publishing
  • Le Collège de France
    • The Collège and its history
    • The chairs
    • Awards
    • Special events
    • Special initiatives
    • Digital resources
    • The Collège de France Foundation
    • The Hugot Foundation
    • PSL University
    • Doctoral studies
    • Working at the Collège de France
    • News
    • Visiting the Collège de France

Quick access

  • Events
  • Audios & videos
  • Chaires
Thierry Coquand
Thierry Coquand

News

Computer Sciences and Digital Technologies

Chair menu

  • The chair
  • Biography and publications
  • Public lectures
  • Audios and videos
  • News
  • Apple Podcasts
  • Spotify
  • Flux RSS Podcasts
  • News RSS
  • Audio-visual RSS
  • Facebook
  • LinkedIn
  • Bluesky
  • Threads
  • Copy url
  • The chair
  • Biography and publications
  • Public lectures
  • Audios and videos
  • News
Thierry Coquand in front of a board full of mathematical formulas

Type theory, from Russell to demonstration assistants

Press release
Published on 27 February 2025
Thierry Coquand

Building mathematical proofs

Thierry Coquand
Published on 10 February 2025

Breadcrumb

  1. Home
  2. The Collège
  3. The chairs
  4. Annual Chairs
  5. Computer Sciences and Digital Technologies Annual Chair
  6. Thierry Coquand, chair Computer Sciences and Digital Technologies
  7. News

Shortcuts

  • Agenda
  • Audio & video
  • Podcasts
  • News
  • Press & logo kit
  • The Collège in 10 questions
  • Doctoral studies
  • Working at the Collège de France
  • Public procurement
  • Newsletter
  • Visit the Collège de France
  • Patrons and donors

Our websites

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

Subscribe to our newsletter

Follow us

Donate

Footer menu

  • Location and contact
  • Legal notice
  • Credits
  • Accessibility: not-compliant