A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications.

Jos Esprito Santo, Delia Kesner, Loc Peyrot

Browse the full FOSSACS paper archive.