-calculi with explicit substitutions preserving strong normalization

DOI10.1007/S002000050110zbMATH Open0936.68022OpenAlexW2031327712MaRDI QIDQ1290510FDOQ1290510

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

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

zbMATH Keywords

\(\lambda\)-calculi

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (20)

• Conservation and uniform normalization in lambda calculi with erasing reductions
• Title not available (Why is that?)
• The structural \(\lambda \)-calculus
• The λs_e-calculus does not preserve strong normalisation
• The Expansion Problem in Lambda Calculi with Explicit Substitution
• Strong normalization of substitutions
• Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
• Title not available (Why is that?)
• A \(\lambda\)-calculus with explicit weakening and explicit substitution
• Title not available (Why is that?)
• Strong normalizability of typed lambda-calculi for substructural logics
• Title not available (Why is that?)
• A Theory of Explicit Substitutions with Safe and Full Composition
• Explicit substitutions and reducibility
• Delayed Substitutions
• Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)
• A note on preservation of strong normalisation in the \(\lambda \)-calculus
• Proof nets and explicit substitutions
• Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation
• Combinatory reduction systems with explicit substitution that preserve strong normalisation

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)