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 Dec 21 16:52:58 2024 CET.