A Constructive Formalization of the Catch and Throw Mechanism (1992)

by H Nakano
Venue:In: Proceedings of Seventh Annual IEEE Symposium on Logic in Computer Science