Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. M. Barr and C. Wells. Toposes, Triples and Theories, volume 278 of Grundlehren der Mathematischen Wissenschaften. Springer Verlag, 1985.
2. J. Goguen and J. Meseguer. Order sorted algebra I, partial and overloaded operations, errors and inheritance. Technical report, SRI, 1985.
3. E. G. Manes. Algebraic Theories, volume 26 of Graduate Texts in Mathematics. Springer Verlag, 1976.
4. J. Meseguer, J. Goguen, and G. Smolka. Order sorted unification. Technical Report CLSI-87-86, CLSI, 1987.
5. J. Meseguer, J. Goguen, and G. Smolka. Order sorted unification. Journal of Symbolic Computation, 8:383–413, 1990.