scientific article; zbMATH DE number 1088029

MaRDI QIDQ4364376zbMATH OpenFDO

Authors Gilles Barthe, Fairouz Kamareddine, A. Ríos

Publication date 1 April 1998

zbMATH Keywords

call-by-name continuation-passing style translationcontrol-like operatorexplicit substitution calculuslambda-calculusstrong normalization

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1479632
• Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
• Hereditary substitution for the \(\lambda \Delta \)-calculus
• A -calculus with explicit weakening and explicit substitution
• A \(\pi\)-calculus with explicit substitutions
• λν, a calculus of explicit substitutions which preserves strong normalisation
• A \(\pi \)-calculus with explicit substitutions: the late semantics
• \(\lambda\)-calculi with explicit substitutions preserving strong normalization
• Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
• Formalization of a λ-calculus with explicit substitutions in Coq

Cited in

(8)

• Eta-conversion for the languages of explicit substitutions
• scientific article; zbMATH DE number 6707782 (Why is no real title available?)
• The Expansion Problem in Lambda Calculi with Explicit Substitution
• scientific article; zbMATH DE number 1223735 (Why is no real title available?)
• scientific article; zbMATH DE number 1479632 (Why is no real title available?)
• Hereditary substitution for the \(\lambda \Delta \)-calculus
• The -calculus: syntax and types
• Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus

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