own; Automated Reasoning; Free Logic; Higher Order Logic Category Theory
Disciplines :
Computer science
Author, co-author :
Benzmüller, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Scott, Dana S.; Berkeley University of California - UC Berkeley
External co-authors :
yes
Language :
English
Title :
Some Reflections on a Computer-aided Theory Exploration Study in Category Theory (Extended Abstract)
Publication date :
2018
Event name :
AITP 2018
Event place :
Aussois, France
Event date :
from 25–03-2018 to 30-03-2018
Main work title :
3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts