%0 Journal Article %1 plotkin-cat %A Smyth, M. B. %A Plotkin, Gordon D. %D 1982 %I SIAM %J SIAM Journal on Computing %K category; computability} data-types; fixed-point; partial-order; semantics; {Domains; %N 4 %P 761-783 %R 10.1137/0211062 %T The Category-Theoretic Solution of Recursive Domain Equations %U /brokenurl#http://link.aip.org/link/?SMJ/11/761/1 %V 11

@article{plotkin-cat, added-at = {2010-08-25T08:47:38.000+0200}, author = {Smyth, M. B. and Plotkin, Gordon D.}, biburl = {https://www.bibsonomy.org/bibtex/2ed0d5ca7e84fb4abc0bf158029c20fac/miguel.pagano}, doi = {{10.1137/0211062}}, interhash = {fa163d46ad9a635a36f162a6961931ad}, intrahash = {ed0d5ca7e84fb4abc0bf158029c20fac}, journal = {{SIAM Journal on Computing}}, keywords = {category; computability} data-types; fixed-point; partial-order; semantics; {Domains;}, number = {{4}}, pages = {761-783}, printed = {{TT}}, publisher = {{SIAM}}, timestamp = {2010-08-25T08:47:41.000+0200}, title = {{The Category-Theoretic Solution of Recursive Domain Equations}}, url = {/brokenurl#{http://link.aip.org/link/?SMJ/11/761/1}}, volume = {{11}}, year = {{1982}} }