Coalgebraic Walks, in Quantum and Turing Computation (2010)

by Bart Jacobs
Citations:1 - 1 self

Documents Related by Co-Citation

2 Dagger categories and formal distributions – Richard Blute, Prakash Panangaden
2 Dagger categories of tame relations – B Jacobs - 2011
6 Tracing Anonymity with Coalgebras – I Hasuo - 2010
5 Scalars, monads and categories – D Coumans, B Jacobs - 2010
1 categories and star operations. Algebras and Representation Theory – Bar - 2009
3 Involutive monoidal categories – J. M. Egger - 2010
3 categories and star operations – E J Beggs, S Majid, Bar
15 Closed categories generated by commutative monads – Anders Kock, Communicated G. B. Preston - 1971
73 Two dimensional monad theory – H Blackwell, M Kelly, A J Power - 1989
28 Nuclear and Trace Ideals in Tensored *-Categories – Samson Abramsky, Richard Blute, Prakash Panangaden - 1998
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
140 Handbook of Categorical Algebra – F Borceux - 1994
27 New Trends in Quantum Structures – A Dvurečenskij, S Pulmannová - 2000
121 Orthomodular Lattices – G Kalmbach - 1983
153 A Categorical Semantics of Quantum Protocols – Samson Abramsky, Bob Coecke
74 Higher dimensional algebra III: n-categories and the algebra of opetopes – John C. Baez, James Dolan - 1997
126 The formal theory of monads – Ross Street - 1972
18 Bilinearity and cartesian closed monads – A Kock - 1971
14 A Short Course on Spectral Theory – W Arveson - 2002