2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…