%0 Journal Article %1 journals/pacmpl/AguirreBG0S17 %A Aguirre, Alejandro %A Barthe, Gilles %A Gaboardi, Marco %A Garg, Deepak %A Strub, Pierre-Yves %D 2017 %J Proc. ACM Program. Lang. %K %N ICFP %P 21:1-21:29 %T A relational logic for higher-order programs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#AguirreBG0S17 %V 1

@article{journals/pacmpl/AguirreBG0S17, added-at = {2023-12-13T05:02:30.000+0100}, author = {Aguirre, Alejandro and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Strub, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/23f428c97500fbe3ce8d3dbe66261d1cf/admin}, ee = {https://doi.org/10.1145/3110265}, interhash = {9db1665c32af843a614d9799c021cdfe}, intrahash = {3f428c97500fbe3ce8d3dbe66261d1cf}, journal = {Proc. ACM Program. Lang.}, keywords = {}, number = {ICFP}, pages = {21:1-21:29}, timestamp = {2023-12-13T05:02:30.000+0100}, title = {A relational logic for higher-order programs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#AguirreBG0S17}, volume = 1, year = 2017 }