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

Sciences du logiciel - Xavier Leroy - Ein Podcast von Collège de France

Podimo 90!!! Tage kostenlos! testen

Ein Universum voller exklusiver Podcasts und Hörbücher. Klicken Sie hier um loszulegen!

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