From Coalgebraic to Monoidal Traces

DOI10.1016/j.entcs.2010.07.017zbMath1247.68175OpenAlexW2170223158MaRDI QIDQ2919453

Bart Jacobs

Publication date: 2 October 2012

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.07.017

zbMATH Keywords

iterationcoalgebraKleisli categoryexecution tracemonoidal trace

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (6)

Semantics of higher-order quantum computation via geometry of interaction ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ From probability monads to commutative effectuses ⋮ Traces for coalgebraic components ⋮ Effectuses from monads ⋮ A Coinductive Calculus for Asynchronous Side-Effecting Processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Full abstraction for PCF
• Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)
• The Uniformity Principle on Traced Monoidal Categories
• The Category-Theoretic Solution of Recursive Domain Equations
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• Traced monoidal categories
• Scalars, Monads, and Categories
• Generic Trace Semantics via Coinduction
• Algebra and Coalgebra in Computer Science

This page was built for publication: From Coalgebraic to Monoidal Traces