Logical step-indexed logical relations (0)

by D Dreyer, A Ahmed, L Birkedal
Venue:Logical Methods in Computer Science