biering_birkedal_torpsmith_2005:
  type: article
  title: '{BI} {Hyperdoctrines} and {Higher}-{Order} {Separation} {Logic}'
  author:
  - Biering, Bodil
  - Birkedal, Lars
  - Torp-Smith, Noah
  date: 2005
  page-range: 233-247
  serial-number:
    doi: 10.1007/978-3-540-31987-0_17
  parent:
    type: proceedings
    title: Programming {Languages} and {Systems} ({ESOP} 2005)
    publisher: Springer
    volume: 3444
    parent:
      type: proceedings
      title: Lecture {Notes} in {Computer} {Science}