Logical step-indexed logical relations (2009)

by D Dreyer, A Ahmed, L Birkedal
Venue:In LICS