Infinitary Cut-Elimination via Finite Approximations.

Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri

Browse the full CSL paper archive.