own; Category Theory; Free Logic; Higher Order Logic; Semantical Embedding
Disciplines :
Mathématiques
Auteur, co-auteur :
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
