@misc{indiciae2a9bb19152c6,
  title = {From signatures to monads in UniMath},
  author = {Benedikt Ahrens and Ralph Matthes and Anders Mörtberg},
  year = {2016},
  doi = {10.1007/s10817-018-9474-4},
  url = {https://arxiv.org/abs/1612.00693},
  note = {Source identifier: 1612.00693}
}