Coalgebraic Walks, in Quantum and Turing Computation.

Bart Jacobs

Browse the full FOSSACS paper archive.