TY  - RPRT
TI  - A Relational Logic for Higher-Order Programs
AU  - Alejandro Aguirre
AU  - Gilles Barthe
AU  - Marco Gaboardi
AU  - Deepak Garg
AU  - Pierre-Yves Strub
PY  - 2017
DO  - 10.1017/s0956796819000145
UR  - https://arxiv.org/abs/1703.05042
ID  - 1703.05042
ER  -