From coalgebraic to monoidal traces

Electronic Notes in Theoretical Computer Science

Volumn 264, Issue 2, 2010, Pages 125-140

  Jacobs, Bart ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Coalgebra; execution trace; iteration; Kleisli category; monoidal trace

Indexed keywords

COALGEBRAS; EXECUTION TRACE; ITERATION; KLEISLI CATEGORY; MONOIDAL TRACE;

EID: 77955721732     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2010.07.017     Document Type: Conference Paper

References (16)

1. S. Abramsky Abstract scalars, loops, and free traced and strongly compact closed categories J.L. Fiadeiro, N. Harman, M. Roggenbach, J. Rutten, Conference on Algebra and Coalgebra in Computer Science CALCO 2005 Lect. Notes Comp. Sci. vol. 3629 2005 Springer Berlin 1 31
2. S. Abramsky, and B. Coecke A categorical semantics of quantum protocols Logic in Computer Science 2004 IEEE, Computer Science Press 415 425
3. S. Abramsky, R. Jagadeesan, and P. Malacaria Full abstraction for PCF Inf. & Comp. 163 2000 409 470
4. J. Adámek, S. Milius, and J. Velebil Elgot theories: A new perspective of iteration theories (extended abstract) S. Abramsky, M. Mislove, C. Palamidessi, Mathematical Foundations of Programming Semantics Elect. Notes in Theor. Comp. Sci. 249 2009 407 427 Elsevier, Amsterdam
5. M.A. Arbib, and E.G. Manes Algebraic Approaches to Program Semantics Texts and Monogr in Comp.Sci. 1986 Springer Berlin
6. S.L. Bloom, and Z. Ésik Iteration Theories: The Equational Logic of Iterative Processes EATCS Monographs 1993 Springer Berlin
7. D. Coumans and B. Jacobs. Scalars, monads and categories, 2010. Manuscript.
8. C.C. Elgot Monadic computation and iterative algebraic theories H.E. Rose, J.C. Shepherson, Logic Colloquium '73 1975 North-Holland Amsterdam 175 230
9. E. Haghverdi. A categorical approach to linear logic, geometry of proofs and full completeness. PhD thesis, Univ. of Ottawa, Canada, 2000.
10. E. Haghverdi Unique decomposition categories geometry of interaction and combinatory logic Math. Struct. in Comp. Sci. 10 2000 205 231
11. M. Hasegawa The uniformity principle on traced monoidal categories Category Theory and Computer Science Elect. Notes in Theor. Comp. Sci. 69 2003 Elsevier, Amsterdam
12. I. Hasuo, B. Jacobs, and A. Sokolova Generic trace theory Logical Methods in Comp. Sci. 3 4:11 2007
13. A. Joyal, R. Street, and D. Verity Traced monoidal categories Math. Proc. Cambridge Phil. Soc. 119 3 1996 425 446
14. K.I. Rosenthal Quantales and their applications Pitman Research Notes in Math. vol. 234 1990 Longman Scientific & Technical
15. A. Simpson, and G. Plotkin Complete axioms for categorical fixed-point operators Logic in Computer Science 2000 IEEE, Computer Science Press 30 41
16. M.B. Smyth, and G.D. Plotkin The category theoretic solution of recursive domain equations. SIAM Journ. Comput. 11 1982 761 783