@misc{indiciaecf9cccc7d16e,
  title = {Reduction Monads and Their Signatures},
  author = {Benedikt Ahrens and André Hirschowitz and Ambroise Lafont and Marco Maggesi},
  year = {2019},
  doi = {10.1145/3371099},
  url = {https://arxiv.org/abs/1911.06391},
  note = {Source identifier: 1911.06391}
}