![](/img/cover-not-exists.png)
A relational logic for higher-order programs
Aguirre, Alejandro, Barthe, Gilles, Gaboardi, Marco, Garg, Deepak, Strub, Pierre-YvesVolume:
1
Language:
english
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3110265
Date:
August, 2017
File:
PDF, 391 KB
english, 2017