@phdthesis {PHD-201706-Downen,
   type = {Dissertation Defense},
   author = {Paul Downen},
   title = {Sequent Calculus: A Logic and a Language for Computation and Duality},
   school = {College of Arts and Sciences, University of Oregon},
   month = 6,
   year = 2017,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/PHD-201706-Downen.pdf}},
}