The following publications are possibly variants of this publication:
- Interactive proofs in higher-order concurrent separation logicRobbert Krebbers, Amin Timany, Lars Birkedal. POPL 2017: 205-217 [doi]
- The Essence of Higher-Order Concurrent Separation LogicRobbert Krebbers, Ralf Jung 0002, Ales Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal. ESOP 2017: 696-723 [doi]
- Higher-Order Separation Logic in Isabelle/HOLCFCarsten Varming, Lars Birkedal. ENTCS, 218:371-389, 2008. [doi]
- BI Hyperdoctrines and Higher-Order Separation LogicBodil Biering, Lars Birkedal, Noah Torp-Smith. ESOP 2005: 233-247 [doi]
- A Simple Model of Separation Logic for Higher-Order StoreLars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang. icalp 2008: 348-360 [doi]