Michael B. Smyth, Gordon D. Plotkin. The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract). In 18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA. pages 13-17, IEEE, 1977.
@inproceedings{SmythP77,
title = {The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract)},
author = {Michael B. Smyth and Gordon D. Plotkin},
year = {1977},
researchr = {https://researchr.org/publication/SmythP77},
cites = {0},
citedby = {0},
pages = {13-17},
booktitle = {18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA},
publisher = {IEEE},
}