Published in 1990 by D.E. Rydeheard and R.M. Burstall, Computational Category Theory uses ML to illustrate the relevance of category theory to CS.
This entry was posted
on Wednesday, March 23rd, 2011 at 5:58 am and is filed under Category Theory.
You can follow any responses to this entry through the RSS 2.0 feed.
Both comments and pings are currently closed.