Computational-Category-Theory Computational Category Theory   Science - Math - Algebra - Category Theory




  • Name:

     

  • Institution:

    Computational Category Theory

  • Position:

  • Location:

     

  • Field of Science:

    Science - Math - Algebra - Category Theory

  • Website / Blog:

    www.cs.man.ac.uk/~david/categories/

  • Online Status: 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: 


      		•

     

































     

    Powered free by PHPmotion