Characterizing strong normalization in a language with control operators.

Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne

Browse the full PPDP paper archive.