Xavier Leroy
Collège de France
Science du logiciel
Année 2018-2019
Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
Sciences du logiciel - Xavier Leroy Sciences du logiciel - Xavier Leroy Sciences du logiciel - Xavier Leroy