![](/img/cover-not-exists.png)
A relational logic for higher-order programs
AGUIRRE, ALEJANDRO, BARTHE, GILLES, GABOARDI, MARCO, GARG, DEEPAK, STRUB, PIERRE-YVESVolume:
29
Year:
2019
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/S0956796819000145
File:
PDF, 3.45 MB
english, 2019