扩展Lambda演算以表达随机化与量子化算法
量子物理
2008-02-03 v2
摘要
本文引入了一种称为lambda-q演算的形式化元语言，用于量子编程语言的规约。该元语言是lambda演算的扩展，而lambda演算为经典编程语言的规约提供了形式化框架。作为中间步骤，我们引入了一种称为lambda-p演算的形式化元语言，用于允许真正随机数生成的编程语言的规约。我们展示了选定的随机化算法如何直接在lambda-p演算中编程。我们还展示了可满足性如何在lambda-q演算中被求解。
引用
@article{arxiv.quant-ph/9612052,
title = {Extending the Lambda Calculus to Express Randomized and Quantumized Algorithms},
author = {Philip Maymin},
journal= {arXiv preprint arXiv:quant-ph/9612052},
year = {2008}
}
备注
26 pages, LaTeX2e, no figures. Revision changed \today to December 31, 1996