scientific article; zbMATH DE number 1479632

MaRDI QIDQ4490747zbMATH OpenFDO

Authors Niels Jakob Rehof, M. H. B. Sørensen

Publication date 20 July 2000

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 7340561
• A confluent λ-calculus with a catch/throw mechanism
• scientific article; zbMATH DE number 1088029
• Strong normalizability of the non-deterministic catch/throw calculi
• A syntactic theory of sequential control

Cited in

(32)

• An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus.
• scientific article; zbMATH DE number 1443050 (Why is no real title available?)
• Formulae-as-types for an involutive negation
• scientific article; zbMATH DE number 2185662 (Why is no real title available?)
• Intuitionistic and classical natural deduction systems with the catch and the throw rules
• Disjunctive normal forms and local exceptions
• Hereditary substitution for the \(\lambda \Delta \)-calculus
• The polarized \(\lambda\)-calculus
• Parametric parameter passing \(\lambda\)-calculus
• Dualized simple type theory
• scientific article; zbMATH DE number 2063227 (Why is no real title available?)
• A syntactic theory of sequential control
• scientific article; zbMATH DE number 1088029 (Why is no real title available?)
• The basis decision problem in λ‐calculus
• Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
• A note on strong normalization in classical natural deduction
• The differential \(\lambda \mu\)-calculus
• A short proof of the strong normalization of classical natural deduction with disjunction
• The differential lambda-calculus
• scientific article; zbMATH DE number 837069 (Why is no real title available?)
• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
• An intuitionistic λ-calculus with exceptions
• Domain-free \(\lambda\mu\)-calculus
• Normalization in the simply typed -calculus
• Control reduction theories: the benefit of structural substitution
• scientific article; zbMATH DE number 1696772 (Why is no real title available?)
• The formal system λδ
• Jumbo λ-Calculus
• scientific article; zbMATH DE number 627411 (Why is no real title available?)
• scientific article; zbMATH DE number 4213958 (Why is no real title available?)
• A classical linear \(\lambda\)-calculus
• Non-strictly positive fixed points for classical natural deduction

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 Q4490747)