>

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

Conclusion, discussions et réponses aux questions de l'année