From Signatures to Monads in UniMath
Crossref DOI link: https://doi.org/10.1007/s10817-018-9474-4
Published Online: 2018-07-11
Published Print: 2019-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ahrens, Benedikt
Matthes, Ralph http://orcid.org/0000-0002-7299-2411
Mörtberg, Anders
Funding for this research was provided by:
University of Gothenburg
Text and Data Mining valid from 2018-07-11
Article History
Received: 20 November 2016
Accepted: 8 June 2018
First Online: 11 July 2018