@article{signatures,
  author  = {Ahrens, Benedikt and Matthes, Ralph and M\"ortberg, Anders},
  title   = {{From signatures to monads in UniMath}},
  note    = {\url{https://arxiv.org/abs/1612.00693}},
  year    = 2016,
  journal = {ArXiv e-prints},
}