Relational Parametricity and Separation LogicOpen Website

Lars Birkedal, Hongseok Yang

2008 (modified: 03 Apr 2023)Log. Methods Comput. Sci. 2008Readers: Everyone
0 Replies