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

Sciences du logiciel - Xavier Leroy - Een podcast door Collège de France

Probeer Podimo de eerste 30! dagen gratis

Luister 30 dagen gratis naar exclusieve podcasts en duizenden luisterboeken

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