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
    • Audios & vidéos
    • 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
    • La Fondation du Collège de France
    • The Hugo Foundation
    • PSL University
    • Formation doctorale
    • Working at the Collège de France
    • News
    • Visiting the Collège de France

Quick access

  • Events
  • Audios & videos
  • Chaires
13 Mar 2025
Opening lecture

Type theory, from Russell to demonstration assistants

13 Mar 2025
  • Facebook
  • X (ex-Twitter)
  • Linkedin
  • Copy url
Thursday 13 March 2025
See also:
  • Thierry Coquand

Program

Opening lecture
18:00 - 19:00

Type theory, from Russell to demonstration assistants

Thierry Coquand
13 Mar 2025
Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot
13 Mar 2025
18:00 - 19:00

See also

Thierry Coquand, chair Computer Sciences and Digital Technologies

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. Public lectures
  8. Type theory, from Russell to demonstration assistants

Shortcuts

  • Agenda
  • Audio & video
  • 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
  • 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