TY  - RPRT
TI  - Composing Dinatural Transformations: Towards a Calculus of Substitution
AU  - Guy McCusker
AU  - Alessio Santamaria
PY  - 2021
DO  - 10.1016/j.jpaa.2021.106689
UR  - https://arxiv.org/abs/2007.07576
ID  - 2007.07576
ER  -