Rohan French
About
Publications
A Simple Sequent Calculus for Angell's Logic of Analytic Containment