Skip Navigation

Document BibTeX Information

@misc {DRP-201410-Johnson,
author = {Philip Johnson-Freyd},
title = {Second-Order Classical Sequent Calculus},
note = {Directed Research Proposal},
publisher = {University of Oregon, Computer and Information Sciences Department},
address = {Eugene OR},
year = {2014},
howpublished = {Available at \url{http://www.cs.uoregon.edu/Reports/DRP-201410-Johnson.pdf} (2017/12/11)},
}