The Expansion Problem in Lambda Calculi with Explicit Substitution

DOI10.1093/LOGCOM/EXN007zbMATH Open1157.03005OpenAlexW2016296771MaRDI QIDQ3549313FDOQ3549313

Authors: Ariel Arbiser 

Publication date: 22 December 2008

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

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

Recommendations

• Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
• A \(\lambda\)-calculus with explicit weakening and explicit substitution
• The Theory of Calculi with Explicit Substitutions Revisited
• \(\lambda\)-calculi with explicit substitutions preserving strong normalization
• scientific article; zbMATH DE number 1088029
• Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)
• On the computability of relations on \(\lambda \)-terms and Rice's theorem -- the case of the expansion problem for explicit substitutions
• Formalization of a λ-calculus with explicit substitutions in Coq
• A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions
• On some enumerative problems in lambda calculus

zbMATH Keywords

expansionlambda calculusexplicit substitutionrecursive setcontext-freelambda slambda upsilon

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Cited In (1)

• Perpetuality in a named lambda calculus with explicit substitutions

This page was built for publication: The Expansion Problem in Lambda Calculi with Explicit Substitution

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