Coalgebraic Components in a Many-Sorted Microcosm

by Ichiro Hasuo , Chris Heunen , Bart Jacobs , Ana Sokolova
Citations:6 - 3 self

Active Bibliography

CMCS 2010 Categorifying Computations into Components via Arrows as Profunctors – Kazuyuki Asada, Ichiro Hasuo
Traces for Coalgebraic Components – Ichiro Hasuo, Bart Jacobs - 2010
11 The microcosm principle and concurrency in coalgebras – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2008
60 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
4 Involutive categories and monoids, with a GNS-correspondence – Bart Jacobs - 2010
6 An Australian conspectus of higher categories – Ross Street - 2004
Towards a Categorical Axiomatics of Bisimulation – Gian Luca Cattani, A. John Power, Glynn Winskel - 1999
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
4 Coalgebras and Monads in the Semantics of Java – Bart Jacobs, Erik Poll - 2002
Components Traces – Ichiro Hasuo, Bart Jacobs - 2010
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
COMPLICIAL SETS – Dominic Verity - 2004
1 Probabilities, Distribution Monads, and Convex Categories – Bart Jacobs
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
1 Localizations of Transfors – Sjoerd E. Crans - 1998
7 Quantum logic in dagger kernel categories – Chris Heunen, Bart Jacobs
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001