Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms (1987)

by D E Rydeheard, J G Stell
Venue:In Category Theory and Computer Science, LNCS 283