8 citations · 8 across the 1 of their papers we have counts for
1 paper · 1 filter
Chad Nester
We develop an analogue of universal algebra in which generating symbols are interpreted as relations. We prove a variety theorem for these relational algebraic theories, in which w…