• Hjem
  • Podkaster
  • Toppliste

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

Sciences du logiciel - Xavier Leroy - En podkast av Collège de France

Prøv Podimo gratis i hele 60! dager!

Prøv Podimo gratis i hele 60! dager!

I Podimo finner du eksklusive podkaster og bestselgende lydbøker tilpasset dine ører

 Reklame

Kategorier:

Teknologi

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

  • Alle podkaster
  • Episoder
  • Blogg
  • Om oss
  • Personvernpolicy
  • Hva er en podkast?
  • Hvordan lytte til en podkast?

© Podkast24.no 2025