Number of items: 1.
Aguirre, Alejandro and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Strub, Pierre-Yves
(2017)
A relational logic for higher-order programs.
PACMPL, 1 (ICFP).
21:1–21:29.
This list was generated on Sat Oct 5 05:39:16 2024 CEST.