The Expansion Problem in Lambda Calculi with Explicit Substitution

DOI10.1093/LOGCOM/EXN007zbMath1157.03005OpenAlexW2016296771MaRDI QIDQ3549313

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

expansionlambda calculusexplicit substitutionrecursive setcontext-freelambda slambda upsilon

Mathematics Subject Classification ID

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

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