Spahn new directions in categorical logic

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Authors |

Reference

  • Bart Jacobs, New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic, arXiv:1205.3940

Created on December 25, 2012 at 07:49:12. See the history of this page for a list of all contributions to it.

EditDiscuss Print Source