Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization.

Marco Devesas Campos, Marcelo P. Fiore

Browse the full LFCS paper archive.