[aa4262]: thys / Category2 / document / root.bib  Maximize  Restore  History

Download this file

3 lines (2 with data), 163 Bytes

@misc{apk,author={Alexander Katovsky},title="Category Theory in {Isabelle/HOL}",
year=2010,note={\url{http://www.srcf.ucam.org/~apk32/Isabelle/Category/Cat.pdf}}}

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks