2 citations · 3 across the 3 of their papers we have counts for
1 paper · 2 filters
Guillaume Allais, Edwin Brady, Nathan Corbyn +2
We present a new design for an algebraic simplification library structured around concepts from universal algebra: theories, models, homomorphisms, and universal properties of free…