Relative Monads Formalised
From MaRDI portal
Publication:5195253
DOI10.6092/issn.1972-5787/4389zbMath1451.68330OpenAlexW1518007559MaRDI QIDQ5195253
Thorsten Altenkirch, Tarmo Uustalu, James T. E. Chapman
Publication date: 18 September 2019
Full work available at URL: https://doaj.org/article/5c63aaa6e856443f89239e99e5bb92ac
Functional programming and lambda calculus (68N18) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Formalization of mathematics in connection with theorem provers (68V20)
Related Items (2)
POPLMark reloaded: Mechanizing proofs by logical relations ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
Uses Software
This page was built for publication: Relative Monads Formalised
