A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability

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.

Authors

Yukiyoshi Kameyama

This author has not been identified. Look up 'Yukiyoshi Kameyama' in Google

Masahiko Sato

This author has not been identified. Look up 'Masahiko Sato' in Google