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

À pas comptés : les techniques de step-indexing