Title :
The category-theoretic solution of recursive domain equations
Author :
Smyth, M.B. ; Plotkin, G.D.
fDate :
Oct. 31 1977-Nov. 2 1977
Keywords :
Artificial intelligence; Concrete; Equations; Lattices; Organizing;
Conference_Titel :
Foundations of Computer Science, 1977., 18th Annual Symposium on
Conference_Location :
Providence, RI, USA
DOI :
10.1109/SFCS.1977.30
