Tristan Crolard

Extension de l'isomorphisme de curry-howard au traitement des exceptions (application d'une etude de la dualite en logique intuitionniste)

Tristan Crolard, 1996 .