Gaby, On April 25, 2006 5:39 PM you wrote: > > While I was "spring cleaning" my computers, I found this > > http://www.cs.man.ac.uk/~david/categories/book/book.pdf > > which I believe might be of reading interest to the Axiom > community. >
Thank you very much for the reference! This book called: Computational Category Theory was published by Prentice Hall in 1988. Yes indeed I do find this of very great interest and relavance to Axiom. This is *exactly* the kind of computational category theory that I would like to do with Axiom. This book provides a complete blueprint for doing exactly this although the programming language used by the authors David Rydeheard, University of Manchester http://www.cs.man.ac.uk/~david http://www.cs.man.ac.uk/fmethods/people/der/der.html and R.M. Burstall, University of Edinburgh, is in fact ML. The ML programs are available here: http://www.cs.man.ac.uk/~david/categories Regards, Bill Page. _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
