@article{biering-2007-bi, title={BI-hyperdoctrines, higher-order separation logic, and abstraction}, volume={29}, ISSN={1558-4593}, url={http://dx.doi.org/10.1145/1275497.1275499}, DOI={10.1145/1275497.1275499}, number={5}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Biering, Bodil and Birkedal, Lars and Torp-Smith, Noah}, year={2007}, month=Aug, pages={24} }