biering_bunched_2004:
  type: thesis
  title: On the {Logic} of {Bunched} {Implications} - and its relation to separation logic
  author: Biering, Bodil
  date: 2004-06
  organization: University of Copenhagen
  url: https://ncatlab.org/nlab/files/Biering-BunchedLogic.pdf
  note: Cand.Scient. thesis. Appendix A criticises Pym's predicate BI; A.2.1 gives the substitution obstruction and Prop. 4.2.13 shows Day's tensor preserves neither monos nor pullbacks.
  genre: Master's thesis