A simple calculus of exception handling (1995)

by P de Groote
Venue:In Second Int. Conf. on Typed Lambda Calculi and Applications, LNCS 902