%0 Conference Paper %1 conf/tphol/CaccamoW01 %A Cáccamo, Mario %A Winskel, Glynn %B TPHOLs %D 2001 %E Boulton, Richard J. %E Jackson, Paul B. %I Springer %K dblp %P 136-153 %T A Higher-Order Calculus for Categories. %U http://dblp.uni-trier.de/db/conf/tphol/tphol2001.html#CaccamoW01 %V 2152 %@ 3-540-42525-X

@inproceedings{conf/tphol/CaccamoW01, added-at = {2017-05-23T00:00:00.000+0200}, author = {Cáccamo, Mario and Winskel, Glynn}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25c91ad8e074c8f9a7976b3b1c18aa12e/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2001}, editor = {Boulton, Richard J. and Jackson, Paul B.}, ee = {https://doi.org/10.1007/3-540-44755-5_11}, interhash = {a7cef06e71b25f11b0331bdf1ec0bcc9}, intrahash = {5c91ad8e074c8f9a7976b3b1c18aa12e}, isbn = {3-540-42525-X}, keywords = {dblp}, pages = {136-153}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:18:54.000+0200}, title = {A Higher-Order Calculus for Categories.}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2001.html#CaccamoW01}, volume = 2152, year = 2001 }