BIhyperdoctrines, higher-order separation logic, and abstraction (0)

by Bodil Biering, Lars Birkedal, Noah Torp-Smith
Venue:ACM TOPLAS