%0 Conference Paper %1 conf/ctcs/EdalatS91 %A Edalat, Abbas %A Smyth, Michael B. %B Category Theory and Computer Science %D 1991 %E Pitt, David H. %E Curien, Pierre-Louis %E Abramsky, Samson %E Pitts, Andrew M. %E Poigné, Axel %E Rydeheard, David E. %I Springer %K dblp %P 37-52 %T Categories of Information Systems. %U http://dblp.uni-trier.de/db/conf/ctcs/ctcs1991.html#EdalatS91 %V 530 %@ 0-387-54495-X

@inproceedings{conf/ctcs/EdalatS91, added-at = {2017-05-20T00:00:00.000+0200}, author = {Edalat, Abbas and Smyth, Michael B.}, biburl = {https://www.bibsonomy.org/bibtex/203d1c6ffae27d48b59177518bc0a2682/dblp}, booktitle = {Category Theory and Computer Science}, crossref = {conf/ctcs/1991}, editor = {Pitt, David H. and Curien, Pierre-Louis and Abramsky, Samson and Pitts, Andrew M. and Poigné, Axel and Rydeheard, David E.}, ee = {https://doi.org/10.1007/BFb0013456}, interhash = {6582baaaec55c170856a2c7b7d1f7879}, intrahash = {03d1c6ffae27d48b59177518bc0a2682}, isbn = {0-387-54495-X}, keywords = {dblp}, pages = {37-52}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:13:12.000+0200}, title = {Categories of Information Systems.}, url = {http://dblp.uni-trier.de/db/conf/ctcs/ctcs1991.html#EdalatS91}, volume = 530, year = 1991 }