Logical Step-Indexed Logical Relations.

Derek Dreyer, Amal Ahmed, Lars Birkedal

Browse the full LICS paper archive.