Résumés annuels

2018-2019

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