What is Unification? A Categorical View Of . . . (1989)
by
Joseph A. Goguen
| Venue: | RESOLUTION OF EQUATIONS IN ALGEBRAIC STRUCTURES, VOLUME 1: ALGEBRAIC TECHNIQUES |
BibTeX
@INPROCEEDINGS{Goguen89whatis,
author = {Joseph A. Goguen},
title = {What is Unification? A Categorical View Of . . . },
booktitle = {RESOLUTION OF EQUATIONS IN ALGEBRAIC STRUCTURES, VOLUME 1: ALGEBRAIC TECHNIQUES},
year = {1989},
pages = {217--261},
publisher = {Academic}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
From a general perspective, a substitution is a transformation from one space to another, an equation is a pair of such substitutions, and a solution to an equation is a substitution that yields the same value when composed with (i.e., when substituted into) the substitutions that constitute the given equation. In some
Citations
| 75 | Prolog and infinite trees - Colmerauer - 1982 |
| 54 | An experimental applicative language - HOPE - 1980 |
| 34 | Categorical foundations for general systems theory - Goguen - 1973 |
| 24 | Structures Algébriques dans les Catégories, Cahiers de Topologie et Géometrie Differéntielle - Bénabou - 1968 |
| 22 | Mathematical representation of hierarchically organized systems - Goguen - 1970 |
| 19 | Semantics of computation - Goguen - 1974 |
| 9 | Parameterized programming in OBJ2 - Futatsugi, Goguen, et al. - 1987 |
| 2 | Caneghem. Etude et r'ealisation d'un syst`eme Prolog. Technical report, Groupe d'Intelligence Artificielle, U.E.R. de Luminy, Universit 'e d'Aix-Marseille - Colmerauer, Kanoui, et al. - 1979 |
| 2 | Algebraic domain equations - Ehrich, Lipeck - 1983 |
| 1 | Unification in categories - Adachi - 1984 |
| 1 | A it-Kaci. An algebraic semantics approach to the effective resolution of type equations - Hassan - 1986 |
