Extension de l’isomorphisme de CurryHoward au traitement des exceptions (1996)

by T Crolard