Collège de France
menu
fr
en
cn
2020-2021
Logiques de programmes : quand la machine raisonne sur ses logiciels
2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
2018-2019
Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui