Computational Category Theory

Computational Category Theory
All Links

Share this:

Details of Computational Category Theory

About Computational Category Theory
Computational Category Theory- An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
North America