Coalgebraic walks, in quantum and turing computation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6604 LNCS, Issue , 2011, Pages 12-26

  Jacobs, Bart ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ADDITIONAL CONTROL; COALGEBRAIC; COALGEBRAS; QUANTUM WALK;

TURING MACHINES;

PROBABILITY DISTRIBUTIONS;

EID: 79953169166     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19805-2_2     Document Type: Conference Paper

References (12)

1. Bartels, F., Sokolova, A., de Vink, E.: A hierarchy of probabilistic system types. Theor. Comp. Sci. 327(1-2), 3-22 (2004)
2. Coumans, D., Jacobs, B.: Scalars, monads and categories (2010), http://arxiv.org/abs/1003.0585
3. Jacobs, B.: Semantics of weakening and contraction. Ann. Pure & Appl. Logic 69(1), 73-106 (1994)
4. Jacobs, B.: Dagger categories of tame relations (2011), http://arxiv.org/abs/1101.1077
5. Kempe, J.: Quantum random walks - an introductory overview. Contemporary Physics 44, 307-327 (2003)
6. Kock, A.: Bilinearity and cartesian closed monads. Math. Scand. 29, 161-174 (1971)
7. Kock, A.: Closed categories generated by commutative monads. Journ. Austr. Math. Soc. XII, 405-424 (1971)
8. Liang, S., Hudak, P., Jones, M.: Monad transformers and modular interpreters. In: Principles of Programming Languages, pp. 333-343. ACM Press, New York (1995)
9. Pavlović, D., Mislove, M., Worrell, J.: Testing semantics: Connecting processes and process logics. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 308-322. Springer, Heidelberg (2006)
10. Perdrix, S.: Partial observation of quantum Turing machine and weaker well-formedness condition. In: Proceedings of: Quantum Physics and Logic and Development of Computational Models (2008), http://web.comlab.ox.ac.uk/people/ simon.perdrix/publi/weakerQTM.pdf
11. Rutten, J.: Universal coalgebra: a theory of systems. Theor. Comp. Sci. 249, 3-80 (2000)
12. Venegas-Andraca, S.: Quantum Walks for Computer Scientists. Morgan & Claypool, San Francisco (2008)