Extending the lambda calculus to express randomized and quantumized algorithms
On the power of quantum computation