Items where Author is "Strub, Pierre-Yves"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
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.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.