Relational reasoning in a nominal semantics for storage (2005)

by Nick Benton , Benjamin Leperchey
Venue:In Proc. 7th International Conference on Typed Lambda Calculi and Applications (TLCA), volume 3461 of Lecture Notes in Computer Science
Citations:58 - 13 self