scientific article; zbMATH DE number 7559448

DOI10.4230/LIPIcs.MFCS.2020.77MaRDI QIDQ5089251

Louis Parlant, Jurriaan Rot, Bas Westerbaan, Alexandra Silva

Publication date: 18 July 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic theoriesmonoidal monadspreservation of equations

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Semantics of weakening and contraction
• Layer by layer -- combining monads
• Linearly distributive functors
• Iterated covariant powerset is not a monad
• Monads on symmetric monoidal closed categories
• Strong functors and monoidal monads
• Algebraic foundations for effect-dependent optimisations
• The validity of equations of complex algebras
• Monad compositions II: Kleisli strength
• Functorial Boxes in String Diagrams
• Backtracking with cut via a distributive law and left-zero monoids
• Generic Trace Semantics via Coinduction
• Bilinearity and Cartesian Closed Monads.

This page was built for publication: