Characterization of strong normalizability for a sequent lambda calculus with co-control.

Jos Esprito Santo, Silvia Ghilezan

Browse the full PPDP paper archive.