21 Result(s)

Chapter and Conference Paper

Approaches to Polymorphism in Classical Sequent Calculus

\(\mathcal X\) is a relatively new calculus, invented to give a Curry-Howard correspondence with Classical Implica...

Alexander J. Summers, Steffen van Bakel in Programming Languages and Systems (2006)