Yukiyoshi Kameyama, Masahiko Sato. A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability. In Xuemin Lin, editor, Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS 98), Perth, WA, Australia, February 2-3, 1998. Volume 20 of Australian Computer Science Communications, pages 183-198, Springer-Verlag Singapore Pte. Ltd., 1998.
Abstract is missing.