Equational theories and monads from polynomial Cayley representations

DOI10.1007/978-3-030-17127-8_26OpenAlexW2934281292MaRDI QIDQ2289097

Piotr Polesiuk, Maciej Piróg, Filip Sieczkowski

Publication date: 28 January 2020

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

Mathematics Subject Classification ID

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

Related Items (3)

Effect handlers via generalised continuations ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala ⋮ Doo bee doo bee doo

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