@misc{indiciaee020ceebd9be,
  title = {LNL polycategories and doctrines of linear logic},
  author = {Michael Shulman},
  year = {2023},
  doi = {10.46298/lmcs-19(2:1)2023},
  url = {https://arxiv.org/abs/2106.15042},
  note = {Source identifier: 2106.15042}
}