Some Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract)

Benzmüller, Christoph; Scott, Dana S.

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}},
}