Relating the - and s-styles of explicit substitutions

DOI10.1093/LOGCOM/10.3.349MaRDI QIDQ4500175zbMATH OpenOpenAlexFDO

Authors Fairouz Kamareddine, A. Ríos

Publication date 4 September 2000

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/10.3.349

zbMATH Keywords

\(\lambda\)-calculusexplicit substitutions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Grammars and rewriting systems (68Q42)

Recommendations

• Comparing calculi of explicit substitutions with eta-reduction
• scientific article; zbMATH DE number 1088030
• λν, a calculus of explicit substitutions which preserves strong normalisation
• Extending a λ-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms

Cited in

(7)

• Comparing and implementing calculi of explicit substitutions with eta-reduction
• CINNI -- a generic calculus of explicit substitutions and its application to -, - and -calculi
• SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi
• scientific article; zbMATH DE number 1088030 (Why is no real title available?)
• Comparing calculi of explicit substitutions with eta-reduction
• Explicit substitutions à la de Bruijn: the local and global way
• A flexible framework for visualisation of computational properties of general explicit substitutions calculi

Describes a project that uses

Uses Software

• ALF

This page was built for publication: Relating the   - and  s-styles of explicit substitutions

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