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
13 Mar 2025
Opening lecture

Type theory, from Russell to demonstration assistants

13 Mar 2025
  • Facebook
  • LinkedIn
  • Bluesky
  • Threads
  • 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
    • 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