Axiomatizing Category Theory in Free Logic (bibtex)
by Christoph Benzmüller, Dana S. Scott
Reference:
Axiomatizing Category Theory in Free Logic (Christoph Benzmüller, Dana S. Scott), Technical report, CoRR, 2016. (http://arxiv.org/abs/1609.01493)
Bibtex Entry:
@techreport{R58,
  Author =	 {Christoph Benzm{\"u}ller and Scott, Dana S.},
  Keywords =	 {own, Automated Reasoning, Free Logic, Higher Order
                  Logic, Category Theory},
  Title =	 {Axiomatizing Category Theory in Free Logic},
  Institution =	 {CoRR},
  Note =	 {\url{http://arxiv.org/abs/1609.01493}},
  Url =		 {http://arxiv.org/abs/1609.01493},
  Year =	 2016
}
Powered by bibtexbrowser