%0 Journal Article %1 journals/tcs/EdalatS93 %A Edalat, Abbas %A Smyth, Michael B. %D 1993 %J Theor. Comput. Sci. %K dblp %N 1 %P 77-106 %T I-Categories as a Framework for Solving Domain Equations. %U http://dblp.uni-trier.de/db/journals/tcs/tcs115.html#EdalatS93 %V 115

@article{journals/tcs/EdalatS93, added-at = {2007-11-03T00:18:07.000+0100}, author = {Edalat, Abbas and Smyth, Michael B.}, biburl = {https://www.bibsonomy.org/bibtex/2a326232b88916e7f4c230cee989f29cd/bsmyth}, date = {2003-11-19}, description = {dblp}, interhash = {0511f03b9f6657073c88c0d3cbdddd47}, intrahash = {a326232b88916e7f4c230cee989f29cd}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {77-106}, timestamp = {2007-11-03T00:18:15.000+0100}, title = {I-Categories as a Framework for Solving Domain Equations.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs115.html#EdalatS93}, volume = 115, year = 1993 }