The groupoid model refutes uniqueness of identity proofs
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A category-theoretic account of program modulesMathematical Structures in Computer Science, 1991
- Review of the elements of 2-categoriesPublished by Springer Nature ,1974