Bi hyperdoctrines and higherorder separation logic (2005)

by Bodil Biering, Lars Birkedal, Noah Torp-Smith
Venue:In ESOP