Axiom Systems for Category Theory in Free Logic (bibtex)
by Christoph Benzmüller, Dana S. Scott
Reference:
Axiom Systems for Category Theory in Free Logic (Christoph Benzmüller, Dana S. Scott), In Archive of Formal Proofs, 2018. (Note: formally verified data publication)
Bibtex Entry:
@article{J39,
  Author =	 {Christoph Benzm\"uller and Scott, Dana S. },
  Journal =	 {Archive of Formal Proofs},
  Keywords =	 {own, Category Theory, Free Logic, Higher Order
                  Logic, Semantical Embedding},
  Note =	 {Note: formally verified data publication},
  Title =	 {Axiom Systems for Category Theory in Free Logic},
  Url =
                  {https://www.isa-afp.org/entries/AxiomaticCategoryTheory.html},
  Year =	 2018,
}
Powered by bibtexbrowser