Alpha Equivalence Articles

Page 1 of 1 (3 articles)

5/1/2026 • EN

Lifting and Lowering Functions with The Dump Calculus

Explores functional combinators for lifting and lowering functions using The Dump Calculus, aimed at first-orderizing trivial functional manipulations for e-graphs.

Alpha Equivalence De Bruijn E Graphs Functional Combinators Lambda Lifting

Philip Zucker

4/18/2026 • EN

Thinning/Lifting E-Graphs for Alpha Equivalence: Checkpoint I

Exploring thinning/lifting e-graphs for alpha equivalence using functional lifting combinators and Python examples.

Alpha Equivalence E Graphs Lifting Combinators Python Thinnings

Philip Zucker

8/5/2018 • EN

A Gentle Introduction to Lambda Calculus - Part 2: Execution

Explains how to execute Lambda Calculus, covering alpha-equivalence, beta-reduction, and normal forms in this practical guide.

Alpha Equivalence Beta Reduction functional programming Lambda Calculus Normal Form

Lucas F. Costa

Alpha Equivalence Articles

Lifting and Lowering Functions with The Dump Calculus

Thinning/Lifting E-Graphs for Alpha Equivalence: Checkpoint I

A Gentle Introduction to Lambda Calculus - Part 2: Execution

Select Language

We use cookies