Semantics of separationlogic typing and higher-order frame rules (2005)

by L Birkedal, N Torp-Smith, H Yang
Venue:In Symposium on Logic in Computer Science, LICS’05