• Home
  • Podcasts
  • Charts
  1. Home
  2. Podcasts
  3. Sciences du logiciel - Xavier Leroy
  4. 02 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui

02 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui

Sciences du logiciel - Xavier Leroy - A podcast by Collège de France

Podcast artwork

Categories:

Technology

Xavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui

Visit the podcast's native language site

  • All podcasts
  • Episodes
  • Blog
  • About us
  • Privacy Policy
  • What is a podcast?
  • How to listen to a podcast?

© Podcast24.nz 2025