Formalizing category theory in Agda
| Title: | Formalizing category theory in Agda |
|---|---|
| Authors: | Hu, Jason Z. S.; Carette, Jacques |
| Source: | Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. :327-342 |
| Availability: | http://dl.acm.org/doi/10.1145/3437992.3439922 |
| Database: | ACM Full-Text Collection |