Back
  1. Home
  3. Detailed Reference
Download
Article (Scientific journals)
Axiom Systems for Category Theory in Free Logic
BENZMÜLLER, Christoph; Scott, Dana S.
2018 • In Archive of Formal Proofs
Peer reviewed
Permalink
https://hdl.handle.net/10993/37446
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
document-37.pdf
Publisher postprint (218.38 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Keywords :
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
External co-authors :
yes
Language :
English
Title :
Axiom Systems for Category Theory in Free Logic
Publication date :
2018
Journal title :
Archive of Formal Proofs
ISSN :
2150-914X
Publisher :
SourceForge
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Additional URL :
https://www.isa-afp.org/entries/AxiomaticCategoryTheory.html
Available on ORBilu :
since 24 November 2018

Statistics

Number of views
64 (0 by Unilu)
Number of downloads
63 (0 by Unilu)
More statistics

Bibliography

Similar publications


Contact ORBilu