>

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

Le forcing, une transformation de programme comme une autre ?