scientific article; zbMATH DE number 1479632
From MaRDI portal
zbMATH Open0942.03512MaRDI QIDQ4490747FDOQ4490747
Authors: Niels Jakob Rehof, M. H. B. Sørensen 
Publication date: 20 July 2000
Title of this publication is not available (Why is that?)
Recommendations
Cited In (32)
- Title not available (Why is that?)
- An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus.
- Formulae-as-types for an involutive negation
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- A syntactic theory of sequential control
- Title not available (Why is that?)
- The basis decision problem in λ‐calculus
- A note on strong normalization in classical natural deduction
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
- A short proof of the strong normalization of classical natural deduction with disjunction
- The differential \(\lambda \mu\)-calculus
- Title not available (Why is that?)
- The differential lambda-calculus
- An intuitionistic λ-calculus with exceptions
- Domain-free \(\lambda\mu\)-calculus
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control
- Normalization in the simply typed -calculus
- Control reduction theories: the benefit of structural substitution
- Title not available (Why is that?)
- The formal system λδ
- Jumbo λ-Calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
