Extending the lambda calculus to express randomized and quantumized algorithms
Quantum Theory, the Church-Turing principle and the universal quantum computer