Another Word For It

Computational Category Theory

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. You can leave a response, or trackback from your own site.