DocumentCode

2178173

Title

The category-theoretic solution of recursive domain equations

Author

Smyth, M.B. ; Plotkin, G.D.

fYear

1977

fDate

Oct. 31 1977-Nov. 2 1977

Firstpage

13

Lastpage

17

Keywords

Artificial intelligence; Concrete; Equations; Lattices; Organizing;

fLanguage

English

Publisher

ieee

Conference_Titel

Foundations of Computer Science, 1977., 18th Annual Symposium on

Conference_Location

Providence, RI, USA

ISSN

0272-5428

Type

conf

DOI

10.1109/SFCS.1977.30

Filename

4567921