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.

@inproceedings{KameyamaS98,
  title = {A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability},
  author = {Yukiyoshi Kameyama and Masahiko Sato},
  year = {1998},
  tags = {tagging, abstraction},
  researchr = {https://researchr.org/publication/KameyamaS98},
  cites = {0},
  citedby = {0},
  pages = {183-198},
  booktitle = {Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS 98), Perth, WA, Australia, February 2-3, 1998},
  editor = {Xuemin Lin},
  volume = {20},
  number = {3},
  series = {Australian Computer Science Communications},
  publisher = {Springer-Verlag Singapore Pte. Ltd.},
}