@misc{indiciae42aed27c3b4b,
  title = {Formalizing Monoidal Categories and Actions for Syntax with Binders},
  author = {Benedikt Ahrens and Ralph Matthes and Kobe Wullaert},
  year = {2023},
  url = {https://arxiv.org/abs/2307.16270},
  note = {Source identifier: 2307.16270}
}