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
200 Logics of Time and Computation – R I Goldblatt - 1987
17 Towards a calculus of state-based software components – Luís S. Barbosa - 2003
16 Components as Coalgebras – L Barbosa - 2001
159 Generalising Monads to Arrows – John Hughes - 1998
930 Categories for the Working Mathematician – S Mac Lane - 1971
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
140 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
44 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
58 Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract) – Farhad Arbab, Christel Baier, Jan Rutten, Marjan Sirjani - 2004
23 Linearly Distributive Functors – J.R.B. Cockett, R.A.G. Seely - 1997
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
145 A Channel-Based Coordination Model for Component Composition – F. Arbab, Farhad Arbab - 2002