Smyth, M. B.; Plotkin, G. D. The category-theoretic solution of recursive domain equations. (English) Zbl 0493.68022 SIAM J. Comput. 11, 761-783 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 141 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68N01 General topics in the theory of software 68Q55 Semantics in the theory of computing Keywords:domains; semantics; data-types; category; partial-order; fixed-point; computability PDF BibTeX XML Cite \textit{M. B. Smyth} and \textit{G. D. Plotkin}, SIAM J. Comput. 11, 761--783 (1982; Zbl 0493.68022) Full Text: DOI Link OpenURL