The Expansion Problem in Lambda Calculi with Explicit Substitution

DOI10.1093/LOGCOM/EXN007MaRDI QIDQ3549313zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

context-freeexpansionexplicit substitutionlambda calculuslambda slambda upsilonrecursive set

Mathematics Subject Classification ID

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

Recommendations

• Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
• A -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 -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

Cited in

(2)

• Perpetuality in a named lambda calculus with explicit substitutions
• On the computability of relations on -terms and Rice's theorem -- the case of the expansion problem for 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)