O
pen
R
epository and
Bi
bliography
Login
Home
User guide
Toolbox
FAQ
Glossary
Help?
EN
FR
University of Luxembourg Library
You are here:
ORBi
lu
Detailled reference
Reference : Axiom Systems for Category Theory in Free Logic
Document type :
Scientific journals : Article
Discipline(s) :
Physical, chemical, mathematical & earth Sciences : Mathematics
Focus Areas :
Computational Sciences
To cite this reference:
http://hdl.handle.net/10993/37446
Title :
Axiom Systems for Category Theory in Free Logic
Language :
English
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]
Publication date :
2018
Journal title :
Archive of Formal Proofs
Peer reviewed :
Yes
Audience :
International
ISSN :
2150-914x
e-ISSN :
2150-914x
Country :
Germany
Keywords :
[en]
own ; Category Theory ; Free Logic ; Higher Order Logic ; Semantical Embedding
Permalink :
http://hdl.handle.net/10993/37446
Other URL :
https://www.isa-afp.org/entries/AxiomaticCategoryTheory.html
File(s) associated to this reference
Fulltext file(s):
File
Commentary
Version
Size
Access
Open access
document-37.pdf
Publisher postprint
213.26 kB
View/Open
All documents in ORBi
lu
are protected by a
user license
.
University of Luxembourg Library
|
Feedback
|
Legal notices
Site Map