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 Thu May 8 13:33:24 2025 CEST.