Jean-Yves Girard Logic and Exceptions: A Few Remarks. 111-118 1992 2 J. Log. Comput. 2 db/journals/logcom/logcom2.html#Girard92