E Graphs Articles

Page 1 of 1 (3 articles)

6/1/2026 • EN

Arenas, Cyclic Terms, and Flat Equational Systems

Explores cyclic terms, arenas, and flat equational systems in the context of e-graphs and formal reasoning.

Co Terms Cyclic Terms E Graphs Equational Systems Rational Terms

Philip Zucker

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

E Graphs Articles

Arenas, Cyclic Terms, and Flat Equational Systems

Lifting and Lowering Functions with The Dump Calculus

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

Select Language

We use cookies