Another Word For It Patrick Durusau on Topic Maps and Semantic Diversity

March 23, 2011

Computational Category Theory

Filed under: Category Theory — Patrick Durusau @ 5:58 am

Computational Category Theory (404 as of 21 August 2015)

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.


Updated link: Computational Category Theory by D.E. Rydeheard and R.M. Burstall.

BTW, ML code is available as well.

Enjoy!

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress