Inducing Syntactic Cut-Elimination for Indexed Nested Sequents.

Revantha Ramanayake

Browse the full CADE paper archive.