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

Sciences du logiciel - Xavier Leroy - Podcast tekijän mukaan Collège de France

kokeile Podimo ilmaiseksi 90!!! päivän ajan

universumia joka on täynnä satoja podcasteja ja äänikirjoja, klikkaa tätä kokeillaksesi

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