Substitution in LambdaSubstitution in LambdaCalculusexplicit substitutions.Examining the substitution lemma withLogic in Computer ScienceFormalizing Substitution in Lambda CalculusA study on the substitution lemma in lambda calculus with explicit substitutions.2025-09-22T12:25:42+00:00 ― 8 min read