@misc{indiciae47e45249f85d,
  title = {Composing Dinatural Transformations: Towards a Calculus of Substitution},
  author = {Guy McCusker and Alessio Santamaria},
  year = {2021},
  doi = {10.1016/j.jpaa.2021.106689},
  url = {https://arxiv.org/abs/2007.07576},
  note = {Source identifier: 2007.07576}
}