%0 Conference Paper %1 conf/ctcs/BeierleV87 %A Beierle, Christoph %A Voß, Angi %B Category Theory and Computer Science %D 1987 %E Pitt, David H. %E Poigné, Axel %E Rydeheard, David E. %I Springer %K %P 196-218 %T Viewing Implementations as an Institution. %U http://dblp.uni-trier.de/db/conf/ctcs/ctcs1987.html#BeierleV87 %V 283 %@ 3-540-18508-9

@inproceedings{conf/ctcs/BeierleV87, added-at = {2023-12-12T17:35:28.000+0100}, author = {Beierle, Christoph and Voß, Angi}, biburl = {https://www.bibsonomy.org/bibtex/25932f15360f1e581d1ff9fb1afc2de08/admin}, booktitle = {Category Theory and Computer Science}, crossref = {conf/ctcs/1987}, editor = {Pitt, David H. and Poigné, Axel and Rydeheard, David E.}, ee = {https://doi.org/10.1007/3-540-18508-9_27}, interhash = {05e6e0ea4393564347c93e536dffb801}, intrahash = {5932f15360f1e581d1ff9fb1afc2de08}, isbn = {3-540-18508-9}, keywords = {}, pages = {196-218}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:35:28.000+0100}, title = {Viewing Implementations as an Institution.}, url = {http://dblp.uni-trier.de/db/conf/ctcs/ctcs1987.html#BeierleV87}, volume = 283, year = 1987 }