@inproceedings{biering_birkedal_torpsmith_2005,
 title = {{BI} {Hyperdoctrines} and {Higher}-{Order} {Separation} {Logic}},
 author = {Biering, Bodil and Birkedal, Lars and Torp-Smith, Noah},
 year = {2005},
 doi = {10.1007/978-3-540-31987-0_17},
 booktitle = {Programming {Languages} and {Systems} ({ESOP} 2005)},
 series = {Lecture {Notes} in {Computer} {Science}},
 volume = {3444},
 pages = {233--247},
 publisher = {Springer}
}