Coalgebraic Walks, in Quantum and Turing Computation (2010)

by Bart Jacobs
Citations:1 - 1 self

Active Bibliography

4 Involutive categories and monoids, with a GNS-correspondence – Bart Jacobs - 2010
3 Convexity, duality, and effects – Bart Jacobs - 2010
1 Probabilities, Distribution Monads, and Convex Categories – Bart Jacobs
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
5 The Constructive Lift Monad – Anders Kock, Anders Kock - 1995
1 A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality – Samson Abramsky, Adam Brandenburger - 2011
12 The Structure of Call-by-Value – Carsten Führmann - 2000
6 Algebraic foundations for effectdependent optimisations – Ohad Kammar, Gordon D. Plotkin - 2012
Bialgebraic Operational Semantics and Modal Logic (extended abstract) – Bartek Klin
10 Coalgebraic modal logic beyond Sets – Bartek Klin - 2007
3 Exemplaric Expressivity of Modal Logics – Bart Jacobs, Ana Sokolova - 2008
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
8 Generic trace theory – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2006
On the completeness of quantum computation models – Pablo Arrighi, Gilles Dowek
Quantum Finite Automata, Quantum Pushdown Automata & Quantum Turing Machine: A Study – Tanistha Nayak, Tirtharaj Dash
A proof order for decreasing diagrams -- Interpreting conversions in involutive monoids – Vincent van Oostrom - 2012
Decreasing proof orders -- Interpreting conversions in involutive monoids – Vincent van Oostrom - 2012
Approximating Markov Processes By Averaging – Philippe Chaput, Gordon Plotkin