BI Hyperdoctrines and Higher-Order Separation Logic.

Bodil Biering, Lars Birkedal, Noah Torp-Smith

Browse the full ESOP paper archive.