scientific article; zbMATH DE number 1444325

MaRDI QIDQ4953359zbMATH OpenFDO

Authors Yukiyoshi Kameyama, Masahiko Sato

Publication date 9 May 2000

zbMATH Keywords

Common Lisp

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Strong normalizability of the non-deterministic catch/throw calculi
• A confluent λ-calculus with a catch/throw mechanism
• A constructive logic behind the catch and throw mechanism
• scientific article; zbMATH DE number 2063227

Cited in

(4)

• A constructive logic behind the catch and throw mechanism
• Intuitionistic and classical natural deduction systems with the catch and the throw rules
• scientific article; zbMATH DE number 2063227 (Why is no real title available?)
• Strong normalizability of the non-deterministic catch/throw calculi

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953359)