Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.

Hugo Herbelin, Gyesik Lee

Browse the full WoLLIC paper archive.