From Coalgebraic to Monoidal Traces

Bart Jacobs. From Coalgebraic to Monoidal Traces. Electronic Notes in Theoretical Computer Science, 264(2):125-140, 2010. [doi]

Abstract

Abstract is missing.