%0 Conference Paper %1 conf/focs/SmythP77 %A Smyth, Michael B. %A Plotkin, Gordon D. %B FOCS %D 1977 %I IEEE Computer Society %K dblp %P 13-17 %T The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract) %U http://dblp.uni-trier.de/db/conf/focs/focs77.html#SmythP77

@inproceedings{conf/focs/SmythP77, added-at = {2023-03-23T00:00:00.000+0100}, author = {Smyth, Michael B. and Plotkin, Gordon D.}, biburl = {https://www.bibsonomy.org/bibtex/239c289383a5da143ce8ef102228de5a8/dblp}, booktitle = {FOCS}, crossref = {conf/focs/FOCS18}, ee = {https://doi.ieeecomputersociety.org/10.1109/SFCS.1977.30}, interhash = {7e955e471169c0cce71b75f0087488a6}, intrahash = {39c289383a5da143ce8ef102228de5a8}, keywords = {dblp}, pages = {13-17}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:22:02.000+0200}, title = {The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract)}, url = {http://dblp.uni-trier.de/db/conf/focs/focs77.html#SmythP77}, year = 1977 }