own; Category Theory; Free Logic; Higher Order Logic; Semantical Embedding
Disciplines :
Mathematics
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