From coalgebraic to monoidal traces
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.68175
author: Bart Jacobs
published in: Electronic Notes in Theoretical Computer Science
publication date: 2012-10-02T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 18C20
zbMATH DE Number: 6089944
zbMATH Keywords: coalgebra
zbMATH Keywords: execution trace
zbMATH Keywords: monoidal trace
zbMATH Keywords: iteration
zbMATH Keywords: Kleisli category
MaRDI profile type: Publication
full work available at URL: j.entcs.2010.07.017
OpenAlex ID: W2170223158
cites work: Algebra and Coalgebra in Computer Science
cites work: Full abstraction for PCF
cites work: Elgot theories: a new perspective of iteration theories (extended abstract)
cites work: Q3735051
cites work: Q5287508
cites work: Scalars, Monads, and Categories
cites work: Q4091917
cites work: Unique decomposition categories, Geometry of Interaction and combinatory logic
cites work: The uniformity principle on traced monoidal categories
cites work: Generic Trace Semantics via Coinduction
cites work: Traced monoidal categories
cites work: Q3996704
cites work: The Category-Theoretic Solution of Recursive Domain Equations
DOI: 10.1016/J.ENTCS.2010.07.017
title: From coalgebraic to monoidal traces
description: scientific article; zbMATH DE number 6089944