Equational theories and monads from polynomial Cayley representations

DOI10.1007/978-3-030-17127-8_26MaRDI QIDQ2289097zbMATH OpenOpenAlexFDO

Authors Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski

Publication date 28 January 2020

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-17127-8_26

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Recommendations

• Countable Lawvere theories and computational effects
• Notions of computation as monoids
• scientific article; zbMATH DE number 1497816
• Theories of analytic monads
• Completeness for algebraic theories of local state

Cited in

(7)

• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• scientific article; zbMATH DE number 1497816 (Why is no real title available?)
• Polynomial monads and delooping of mapping spaces
• Doo bee doo bee doo
• Effect handlers via generalised continuations
• scientific article; zbMATH DE number 522862 (Why is no real title available?)
• Equational theories as congruences of enriched monoids

This page was built for publication: Equational theories and monads from polynomial Cayley representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2289097)