Collège De France (sciences Et Technologies)

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

Informações:

Synopsis

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