@misc{indiciae43815bab4199,
  title = {Variable binding, symmetric monoidal closed theories, and bigraphs},
  author = {Richard Garner and Tom Hirschowitz and Aurélien Pardon},
  year = {2009},
  url = {https://arxiv.org/abs/0905.4200},
  note = {Source identifier: 0905.4200}
}