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

Il faut qu'une porte soit ouverte ou fermée ! Logique classique, continuations, opérateurs de contrôle