by Christoph Benzmüller, Dana S. Scott
Reference:
Some Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract) (Christoph Benzmüller, Dana S. Scott), In 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts (Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban, eds.), 2018. (Url (preprint): http://christoph-benzmueller.de/papers/C67.pdf)
Bibtex Entry:
@inproceedings{C67,
Author = {Christoph Benzm{\"u}ller and Scott, Dana S.},
Keywords = {own, Automated Reasoning, Free Logic, Higher Order
Logic, Category Theory},
Title = {Some Reflections on a Computer-aided Theory
Exploration Study in Category Theory (Extended
Abstract)},
editor = {Hales, Thomas C. and Kaliszyk, Cezary and Schulz,
Stephan and Urban, Josef},
Booktitle = {3rd Conference on Artificial Intelligence and
Theorem Proving (AITP 2018), Book of Abstracts},
year = 2018,
Note = {Url (preprint):
\url{http://christoph-benzmueller.de/papers/C67.pdf}},
}