Coalgebraic Walks, in Quantum and Turing Computation

DOI10.1007/978-3-642-19805-2_2zbMath1326.68192OpenAlexW2109998602MaRDI QIDQ3000596

Bart Jacobs

Publication date: 19 May 2011

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19805-2_2

Mathematics Subject Classification ID

Quantum computation (81P68) Abstract data types; algebraic specification (68Q65)

Related Items

Applicative Bisimulation and Quantum λ-Calculi, Dagger categories of tame relations, Involutive categories and monoids, with a GNS-correspondence, Ambiguity and Incomplete Information in Categorical Models of Language, Reversible monadic computing, Quantum walks: a comprehensive review, Trace semantics via determinization