An Operational Characterization of Strong Normalization.

Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca

Browse the full FOSSACS paper archive.