From Signatures to Monads in UniMath

Benedikt Ahrens, Ralph Matthes, Anders Mörtberg. From Signatures to Monads in UniMath. Journal of Automated Reasoning, 63(2):285-318, 2019. [doi]

Abstract

Abstract is missing.