Dreyer, Derek Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
Dreyer, D., Ahmed, A., & Birkedal, L. (2009). Logical step-indexed logical relations. In 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009) proceedings (pp. 71-80). Los Alamitos, CA: IEEE Computer Society.