Computational Category Theory

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.

Leave a Reply

You must be logged in to post a comment.