Contact

email me at: my first name, dash ("-"), my last name, at uiowa dot edu

Info

• Advisor: Aaron Stump
• Research interests: Logic and Type Theory

Presentations

• July 7th, 2018: "Towards a Dualized Sequent Calculus with Canonicity" at CL&C'18

Papers

• "Dual counterpart intuitionistic logic". Anthony Cantor, Aaron Stump. Journal of Logic and Computation.

Links

• Mathematical Sciences
• The University of Iowa