|
| @INPROCEEDINGS{mmf92b, | | | author={M.M. Fokkinga}, | | | title={A Gentle Introduction to Category Theory - the calculational approach}, | | | booktitle={Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics}, | | | year=1992, | | | editor={M.M. Fokkinga and J.T. Jeuring}, | | | volume=Part I, | | | pages={1--72}, | | | address={Utrecht, Netherlands}, | | | publisher={University of Utrecht}, | | | note={ISSN=not assigned}, | | } |
|
|
