- category theory introduction using ML http://www.cs.man.ac.uk/~david/categories/book/book.pdf 8 comments compsci
Linking pages
- Computational Category Theory in Python II: Numpy for FinVect | Hey There Buddo! http://www.philipzucker.com/computational-category-theory-in-python-ii-numpy-for-finvect/ 0 comments
- Computational Category Theory in Python I: Dictionaries for FinSet | Hey There Buddo! http://www.philipzucker.com/computational-category-theory-in-python-i-dictionaries-for-finset/ 0 comments
- GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:www.cs.man.ac.uk
Search title: category theory introduction using ML
See how to search.