## What is Unification? - A Categorical View of Substitution, Equation and Solution (1989)

by
Joseph A. Goguen

Venue: | Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques |

Citations: | 14 - 2 self |