-calculi with explicit substitutions preserving strong normalization

DOI10.1007/S002000050110MaRDI QIDQ1290510zbMATH OpenOpenAlexFDO

Authors Maria C. F. Ferreira, Delia Kesner, Laurence Puel

Publication date 2 June 1999

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002000050110

zbMATH Keywords

\(\lambda\)-calculi

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• \(\lambda\)-calculi with explicit substitutions and composition which preserve \(\beta\)-strong normalization
• λν, a calculus of explicit substitutions which preserves strong normalisation
• scientific article; zbMATH DE number 1342288
• A \(\lambda\)-calculus with explicit weakening and explicit substitution
• Explicit substitution. On the edge of strong normalization

Cited in

(26)

• Combinatory reduction systems with explicit substitution that preserve strong normalisation
• Conservation and uniform normalization in lambda calculi with erasing reductions
• The structural \(\lambda \)-calculus
• scientific article; zbMATH DE number 1420789 (Why is no real title available?)
• The λs_e-calculus does not preserve strong normalisation
• Strong normalization of substitutions
• The Expansion Problem in Lambda Calculi with Explicit Substitution
• Preservation of strong normalisation modulo permutations for the structural \(\lambda\)-calculus
• Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
• scientific article; zbMATH DE number 2086241 (Why is no real title available?)
• A \(\lambda\)-calculus with explicit weakening and explicit substitution
• scientific article; zbMATH DE number 1512610 (Why is no real title available?)
• Strong normalizability of typed lambda-calculi for substructural logics
• A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications
• \(\lambda\)-calculi with explicit substitutions and composition which preserve \(\beta\)-strong normalization
• scientific article; zbMATH DE number 1088029 (Why is no real title available?)
• A Theory of Explicit Substitutions with Safe and Full Composition
• A faithful and quantitative notion of distant reduction for generalized applications
• Explicit substitutions and reducibility
• Delayed Substitutions
• A note on preservation of strong normalisation in the \(\lambda \)-calculus
• Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)
• Proof nets and explicit substitutions
• Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation
• An abstract factorization theorem for explicit substitutions
• Factorization and normalization, essentially

This page was built for publication: \(\lambda\)-calculi with explicit substitutions preserving strong normalization

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