16 citations · 88 across the 12 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
An Introduction to Effectus Theory
Kenta Cho, Bart Jacobs, Bas Westerbaan +1
Effectus theory is a new branch of categorical logic that aims to capture the essentials of quantum logic, with probabilistic and Boolean logic as special cases. Predicates in effe…
math.CT2015★ 11 cited
Quantum Programs as Kleisli Maps
Abraham Westerbaan
Furber and Jacobs have shown in their study of quantum computation that the category of commutative C*-algebras and PU-maps (positive linear maps which preserve the unit) is isomor…