Coalgebraic Components in a Many-Sorted Microcosm

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

Documents Related by Co-Citation

74 Higher dimensional algebra III: n-categories and the algebra of opetopes – John C. Baez, James Dolan - 1997
112 Categorical Logic and Type Theory – B Jacobs - 1999
11 The microcosm principle and concurrency in coalgebras – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2008
17 Towards a calculus of state-based software components – Luís S. Barbosa - 2003
200 Logics of Time and Computation – R Goldblatt - 1987
16 Components as Coalgebras – L Barbosa - 2001
159 Generalising Monads to Arrows – John Hughes - 1998
919 Categories for the working mathematician – Mac Lane, S - 1971
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
138 Handbook of Categorical Algebra – F Borceux - 1994
126 The formal theory of monads – Ross Street - 1972
2 Categorifying computations into components via arrows as profunctors – K Asada, I Hasuo - 2010
18 Handbook of Categorical Algebra, volume 50, 51 and 52 of Encyclopedia of Mathematics. Cambridge Univ – F Borceux - 1994
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
129 Terminal coalgebras in well-founded set theory, Theoret – Michael Barr - 1993
43 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
144 A Channel-Based Coordination Model for Component Composition – F. Arbab, Farhad Arbab - 2002
57 Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract) – Farhad Arbab, Christel Baier, Jan Rutten, Marjan Sirjani - 2004
22 Linearly Distributive Functors – J.R.B. Cockett, R.A.G. Seely - 1997