|
Welcome to the Computational Category Theory ProjectComputational Category Theory is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. The original ideas are due to R.M. Burstall, and it was developed by D. Rydeheard, with help from D.T. Sannella and others in the University of Edinburgh theoretical computer science community. The ManualFor full details of the project, there is a copy of the manual (in PDF or Postscript) available here. The ProgramsTo access the Computational Category Theory programs go to this directory. There is a Readme file giving instructions on compiling and running the programs. Any comments? Please email me at david @ cs.man.ac.uk The manual is available for personal use only and not to be distributed, made multiple copies, made available on other websites, or sold in any format. Full copyright remains with the authors. The programs are available for educational and experimental use only. They should not be incorporated in any product and not offered for commercial gain. They should not be distributed or made available on any website. Neither Manchester University nor the authors are liable for any consequence of the use of the programs. Full rights remain with the authors. |
Contact the
Website
Administrator with comments or queries about this website.
All material copyright ŠThe University of Manchester. Last update
Jan 2007.