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

Yukiyoshi Kameyama Masahiko Sato

Published in: CATS (1998)

Keyphrases

high level
neural network
information systems
keywords
lightweight
classical methods
abstract data types
formal language