• Stars
    star
    1
  • Language Mathematica
  • License
    GNU General Publi...
  • Created over 9 years ago
  • Updated over 9 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Simply Typed Lambda Calculus with a Distributive Groupoid. Independent Research Project