%0 Book %1 citeulike:877198 %A Rydeheard, David E. %A Burstall, Rod M. %B Prentice-Hsll International Series in Computer Science %D 1989 %I Prentice-Hall %K 03c05-equational-classes-universal-algebra, 03d75-abstract-and-axiomatic-computability-and-recursion-theory, 68n18-functional-programming-and-lambda-calculus 68n15-programming-languages 03b15-higher-order-logic-type-theory 18-01-category-theory-introductory-exposition 03d20-recursive-functions-and-relations %T Computational Category Theory %U http://www.cs.man.ac.uk/\~david/categories/book/book.pdf %7 First Edition %@ 0131627368

@book{citeulike:877198, added-at = {2017-06-29T07:13:07.000+0200}, author = {Rydeheard, David E. and Burstall, Rod M.}, biburl = {https://www.bibsonomy.org/bibtex/2051682d662aac66d771dddec7c44d737/gdmcbain}, citeulike-article-id = {877198}, citeulike-attachment-1 = {rydeheard_89_computational_1107794.pdf; /pdf/user/gdmcbain/article/877198/1107794/rydeheard_89_computational_1107794.pdf; 3f99553ca06ce451c5b76479c96e191ad69f3e04}, citeulike-linkout-0 = {http://www.cs.man.ac.uk/\~{}david/categories/book/book.pdf}, citeulike-linkout-1 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&path=ASIN/0131627368}, citeulike-linkout-10 = {http://www.librarything.com/isbn/0131627368}, citeulike-linkout-11 = {http://www.worldcat.org/oclc/256786042}, citeulike-linkout-2 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21\&path=ASIN/0131627368}, citeulike-linkout-3 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21\&path=ASIN/0131627368}, citeulike-linkout-4 = {http://www.amazon.jp/exec/obidos/ASIN/0131627368}, citeulike-linkout-5 = {http://www.amazon.co.uk/exec/obidos/ASIN/0131627368/citeulike00-21}, citeulike-linkout-6 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20\&path=ASIN/0131627368}, citeulike-linkout-7 = {http://www.worldcat.org/isbn/0131627368}, citeulike-linkout-8 = {http://books.google.com/books?vid=ISBN0131627368}, citeulike-linkout-9 = {http://www.amazon.com/gp/search?keywords=0131627368\&index=books\&linkCode=qs}, day = 01, edition = {First Edition}, file = {rydeheard_89_computational_1107794.pdf}, howpublished = {Hardcover}, interhash = {83b648a29b879a7815a6bce9da72744a}, intrahash = {051682d662aac66d771dddec7c44d737}, isbn = {0131627368}, keywords = {03c05-equational-classes-universal-algebra, 03d75-abstract-and-axiomatic-computability-and-recursion-theory, 68n18-functional-programming-and-lambda-calculus 68n15-programming-languages 03b15-higher-order-logic-type-theory 18-01-category-theory-introductory-exposition 03d20-recursive-functions-and-relations}, month = jun, posted-at = {2017-04-20 19:58:22}, priority = {4}, publisher = {Prentice-Hall}, series = {Prentice-Hsll International Series in Computer Science}, timestamp = {2023-04-26T08:13:21.000+0200}, title = {{Computational Category Theory}}, url = {http://www.cs.man.ac.uk/\~{}david/categories/book/book.pdf}, year = 1989 }