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.

Comments are closed.