Computer-supported Exploration of a Categorical Axiomatization of Miroslav Benda’s Modeloids (bibtex)
by Lucca Tiemens, Dana S. Scott, Miroslav Benda, Christoph Benzmüller
Reference:
Computer-supported Exploration of a Categorical Axiomatization of Miroslav Benda’s Modeloids (Lucca Tiemens, Dana S. Scott, Miroslav Benda, Christoph Benzmüller), Technical report, CoRR, number arXiv:1910.12863, 2019. (https://arxiv.org/abs/1910.12863)
Bibtex Entry:
@techreport{R75,
  Author =	 {Tiemens, Lucca and Scott, Dana S. and Benda, Miroslav and Benzm{\"u}ller, Christoph},
  Keywords =	 {own, Automated Reasoning, Free Logic, Higher Order
                  Logic, Category Theory},
  Title =	 {Computer-supported Exploration of a Categorical
Axiomatization of Miroslav Benda’s Modeloids},
  Institution =	 {CoRR},
  Number =       {arXiv:1910.12863},
  Addendum =	 {\url{https://arxiv.org/abs/1910.12863}},
  Url =		 {https://arxiv.org/abs/1910.12863},
  Year =	 2019
}