@techreport {AREA-201401-Downen,
   type = {Area Exam},
   author = {Paul Downen},
   title = {Computational duality and the sequent calculus},
   institution = {University of Oregon, Computer and Information Sciences Department},
   number = AREA-201401-Downen,
   month = 1,
   year = 2014,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/AREA-201401-Downen.pdf}},
}