Semantics of separation-logic typing and higher-order frame rules for algol-like languages (0)

by L Birkedal, N Torp-Smith, H Yang
Venue:Logical Methods in Computer Science