Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
arXiv:1703.05042.pdf (Preprint), 610KB
Aguirre, A., Barthe, G., Gaboardi, M., Garg, D., & Strub, P.-Y. (2017). A Relational Logic for Higher-Order Programs. Retrieved from http://arxiv.org/abs/1703.05042.