TY  - RPRT
TI  - From signatures to monads in UniMath
AU  - Benedikt Ahrens
AU  - Ralph Matthes
AU  - Anders Mörtberg
PY  - 2016
DO  - 10.1007/s10817-018-9474-4
UR  - https://arxiv.org/abs/1612.00693
ID  - 1612.00693
ER  -