NoMoz Directory NoMoz Directory
NoMoz Directory

    Top: Science: Math: Algebra: Category_Theory:

 

Computational Category Theory

  Link Details for: Computational Category Theory
Link Title: Computational Category Theory
Link URL: http://www.cs.man.ac.uk/~david/categories/ Open in a new window
Link Details: An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
Category: Top : Science : Math : Algebra : Category_Theory
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedDelete this link - No additionsAdd your link and delete this linkAdd a regular link
ScreenShot:
Computational Category Theory