Local States in String Diagrams

From MaRDI portal

Revision as of 15:39, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5170826

Jump to:navigation, search

DOI10.1007/978-3-319-08918-8_23zbMath1416.68110OpenAlexW2278533356MaRDI QIDQ5170826

Paul-André Melliès

Publication date: 24 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08918-8_23

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (3)

Quantomatic: A Proof Assistant for Diagrammatic Reasoning ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Towards a Formal Theory of Graded Monads

This page was built for publication: Local States in String Diagrams

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5170826&oldid=19732753"