A constructive formalization of the catch and throw mechanism (1992)

by H Nakano
Venue:in Symposium on Logic in Computer Science. IEEE