A Constraint Sequent Calculus

Jean-Louis Lassez, Ken McAloon

Browse the full LICS paper archive.