A Gentle Introduction to Category Theory - the calculational approach

M.M. Fokkinga (Editor)

Research output: Contribution to conferencePaper

407 Downloads (Pure)
Original languageEnglish
Pages1-72
Number of pages72
Publication statusPublished - Sep 1992
EventLecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics - Utrecht, The Netherlands
Duration: 1 Sep 19921 Sep 1992

Other

OtherLecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics
Period1/09/921/09/92
OtherSep 1992

Keywords

  • IR-66620
  • EWI-8195

Cite this