@misc{indiciae27ef3b800c03,
  title = {Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams},
  author = {Bert Lindenhovius and Michael Mislove and Vladimir Zamdzhiev},
  year = {2018},
  doi = {10.1145/3209108.3209196},
  url = {https://arxiv.org/abs/1804.09822},
  note = {Source identifier: 1804.09822}
}