TY  - RPRT
TI  - Combining Weak Distributive Laws: Application to Up-To Techniques
AU  - Alexandre Goy
AU  - Daniela Petrisan
PY  - 2020
UR  - https://arxiv.org/abs/2010.00811
ID  - 2010.00811
ER  -