08 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Sciences du logiciel - Xavier Leroy - Un podcast de Collège de France
Catégories:
Xavier LeroyCollège de FranceScience du logicielAnnée 2018-2019Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
