1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2026★ 1 cited
Categorical E-Graphs for Lambda Calculi
Aleksei Tiurin, Dan R. Ghica, Nick Hu
Equality saturation, a technique for program optimisation and reasoning, has gained attention due to the resurgence of equality graphs (e-graphs). E-graphs represent equivalence cl…
cs.LO2025
Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs
Aleksei Tiurin, Chris Barrett, Dan R. Ghica +1
The technique of \emph{equality saturation}, which equips graphs with an equivalence relation, has proven effective for program optimisation. We give a categorical semantics to the…