BI hyperdoctrines and higherorder separation logic (2005)

by B Biering, L Birkedal, N Torp-Smith
Venue:In European Symposium on Programming (ESOP), volume 3444 of LNCS