%0 Book Section %1 Fokkinga1992 %A Fokkinga, M.M. %B Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics %D 1992 %I University of Utrecht %K imported %P 1--72 of Part 1 %T A Gentle Introduction to Category Theory --- the calculational approach %U http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html

@incollection{Fokkinga1992, added-at = {2013-08-04T14:19:17.000+0200}, author = {Fokkinga, M.M.}, biburl = {https://www.bibsonomy.org/bibtex/25cc8b5dd50d7b8d740aa1ad0122c7af1/francesco.k}, booktitle = {Lecture Notes of the {STOP} 1992 {S}ummerschool on {C}onstructive {A}lgorithmics}, file = {:D\:\\_Uni\\Papers\\Algebra\\Kategorientheorie\\A Gentle Introduction to Category Theory.pdf:PDF}, interhash = {792682055f9ff57f54062048001cbcd2}, intrahash = {5cc8b5dd50d7b8d740aa1ad0122c7af1}, keywords = {imported}, month = {9}, pages = {1--72 of Part 1}, publisher = {University of Utrecht}, timestamp = {2013-08-04T14:19:19.000+0200}, title = {A Gentle Introduction to Category Theory --- the calculational approach}, url = {http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html}, year = 1992 }