%0 Journal Article %1 journals/siamcomp/SmythP82 %A Smyth, Michael B. %A Plotkin, Gordon D. %D 1982 %J SIAM J. Comput. %K dblp %N 4 %P 761-783 %T The Category-Theoretic Solution of Recursive Domain Equations. %U http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp11.html#SmythP82 %V 11

@article{journals/siamcomp/SmythP82, added-at = {2018-11-14T00:00:00.000+0100}, author = {Smyth, Michael B. and Plotkin, Gordon D.}, biburl = {https://www.bibsonomy.org/bibtex/2463c71fb3a6d5f453c9ced9044fcec7f/dblp}, ee = {https://www.wikidata.org/entity/Q56486107}, interhash = {fa163d46ad9a635a36f162a6961931ad}, intrahash = {463c71fb3a6d5f453c9ced9044fcec7f}, journal = {SIAM J. Comput.}, keywords = {dblp}, number = 4, pages = {761-783}, timestamp = {2018-11-15T15:37:48.000+0100}, title = {The Category-Theoretic Solution of Recursive Domain Equations.}, url = {http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp11.html#SmythP82}, volume = 11, year = 1982 }