Publications
Bookmarks
Contacts
Stage RSS Feeds
|
Name:Institution:Computational Category TheoryPosition:Location:Field of Science:Science - Math - Algebra - Category TheoryWebsite / Blog:www.cs.man.ac.uk/~david/categories/Online Status:
|
About my Work:Computational Category Theory - An implementation of concepts and constructions from category theory in the functional programming language Standard ML. CCT Computational Category Theory Projects:Vita / Publications: |
Grants and Awards:About my Institution:Additional Information: |