A Counterexample to Tensorability of Effects
From MaRDI portal
Publication:3090870
DOI10.1007/978-3-642-22944-2_15zbMath1287.18006OpenAlexW38906659MaRDI QIDQ3090870
Lutz Schröder, Sergei S. Goncharov
Publication date: 2 September 2011
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22944-2_15
Semantics in the theory of computing (68Q55) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items