TY - RPRT TI - Presenting Distributive Laws AU - Marcello M. Bonsangue AU - Helle Hvid Hansen AU - Alexander Kurz AU - Jurriaan Rot PY - 2015 DO - 10.2168/lmcs-11(3:2)2015 UR - https://arxiv.org/abs/1503.02447 ID - 1503.02447 ER -