%0 Book %1 Asperti1991Categories %A Asperti, Andrea %A Longo, Giuseppe %B Foundations of Computing %D 1991 %I MIT Press %K 03b15-higher-order-logic-type-theory 18-01-category-theory-introductory-exposition 18c50-categorical-semantics-of-formal-languages 68p05-data-structures computer %T Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist %U http://www.worldcat.org/isbn/0262011255 %@ 0262011255

@book{Asperti1991Categories, added-at = {2019-03-01T00:11:50.000+0100}, author = {Asperti, Andrea and Longo, Giuseppe}, biburl = {https://www.bibsonomy.org/bibtex/20e5433f19e7517a6e3f8e6a9c5fe3527/gdmcbain}, citeulike-article-id = {590705}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&path=ASIN/0262011255}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21\&path=ASIN/0262011255}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21\&path=ASIN/0262011255}, citeulike-linkout-3 = {http://www.amazon.co.uk/exec/obidos/ASIN/0262011255/citeulike00-21}, citeulike-linkout-4 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20\&path=ASIN/0262011255}, citeulike-linkout-5 = {http://www.worldcat.org/isbn/0262011255}, citeulike-linkout-6 = {http://books.google.com/books?vid=ISBN0262011255}, citeulike-linkout-7 = {http://www.amazon.com/gp/search?keywords=0262011255\&index=books\&linkCode=qs}, citeulike-linkout-8 = {http://www.librarything.com/isbn/0262011255}, citeulike-linkout-9 = {http://www.worldcat.org/oclc/551359086}, day = 23, howpublished = {Hardcover}, interhash = {6ea1bd4b8329bc20f45f11e61dd405e6}, intrahash = {0e5433f19e7517a6e3f8e6a9c5fe3527}, isbn = {0262011255}, keywords = {03b15-higher-order-logic-type-theory 18-01-category-theory-introductory-exposition 18c50-categorical-semantics-of-formal-languages 68p05-data-structures computer}, month = aug, posted-at = {2017-10-27 01:10:14}, priority = {2}, publisher = {MIT Press}, series = {Foundations of Computing}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist}}, url = {http://www.worldcat.org/isbn/0262011255}, year = 1991 }