## James A. Altucher, Prakash Panangaden

*A Mechanically Assisted Constructive Proof in Category Theory*

CADE, 1990.

@inproceedings{CADE-1990-AltucherP, author = "James A. Altucher and Prakash Panangaden", booktitle = "{Proceedings of the 10th International Conference on Automated Deduction}", doi = "10.1007/3-540-52885-7_110", isbn = "3-540-52885-7", pages = "500--513", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Mechanically Assisted Constructive Proof in Category Theory}", volume = 449, year = 1990, }