scientific article; zbMATH DE number 7003196

DOI10.23638/LMCS-15(1:1)2019zbMath1405.68160arXiv1612.07273MaRDI QIDQ4611382

Dexter Kozen

Publication date: 18 January 2019

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

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

zbMATH Keywords

rewritingmonadmonad composition

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Grammars and rewriting systems (68Q42) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Natural morphisms, dinatural morphisms (18A23)

Related Items (2)

Determinisation of Relational Substitutions in Ordered Categories with Domain ⋮ Correspondence between composite theories and distributive laws

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Power structures
• Comprehending monads
• Term Rewriting and All That
• A graphical approach to monad compositions
• A poor man's concurrency monad
• Stochastic lambda calculus and monads of probability distributions
• Relational and Kleene-Algebraic Methods in Computer Science

This page was built for publication: