An Extension of Gleason's Theorem for Quantum Computation

A. Edalat

We develop a synthesis of Turing's paradigm of computation and von Neumann's quantum logic to serve as a model for quantum computation with recursion, such that potentially non-ter…