Relational reasoning in a nominal semantics for storage (2005)

by N Benton, B Leperchey
Venue:In Proc. TLCA