scientific article; zbMATH DE number 7559448

DOI10.4230/LIPICS.MFCS.2020.77MaRDI QIDQ5089251zbMATH OpenFDO

Authors Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan

Publication date 18 July 2022

Full work available at URL https://arxiv.org/abs/2001.06348

zbMATH Keywords

algebraic theoriesmonoidal monadspreservation of equations

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Algebraic foundations for effect-dependent optimisations
• Backtracking with cut via a distributive law and left-zero monoids
• Bilinearity and Cartesian Closed Monads.
• Functorial Boxes in String Diagrams
• Generic Trace Semantics via Coinduction
• scientific article; zbMATH DE number 789389 (Why is no real title available?)
• Iterated covariant powerset is not a monad
• Layer by layer -- combining monads
• Linearly distributive functors
• Monad compositions II: Kleisli strength
• Monad compositions. I: General constructions and recursive distributive laws
• Monads on symmetric monoidal closed categories
• Semantics of weakening and contraction
• Strong functors and monoidal monads
• The validity of equations of complex algebras

Cited in

(4)

• scientific article; zbMATH DE number 1497816 (Why is no real title available?)
• Preservation of Equations by Monoidal Monads
• What monads can and cannot do with a bit of extra time
• What monads can and cannot do with a few extra pages

This page was built for publication:

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