Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? November 10, 2024 by Comments