TY - RPRT TI - Extending the Lambda Calculus to Express Randomized and Quantumized Algorithms AU - Philip Maymin PY - 1997 UR - https://arxiv.org/abs/quant-ph/9612052 ID - quant-ph/9612052 ER -