Skip Navigation

Document BibTeX Information

@misc {AREA-201401-Downen,
author = {Paul Downen},
title = {Computational duality and the sequent calculus},
note = {Area Exam},
publisher = {University of Oregon, Computer and Information Sciences Department},
address = {Eugene OR},
year = {2014},
howpublished = {Available at \url{http://www.cs.uoregon.edu/Reports/AREA-201401-Downen.pdf} (2017/10/20)},
}