量子 Lambda 微积分 – 数学与统计系 电子书下载

原名:Quantum Lambda Calculus – Department of Mathematics and Statistics
作品简介:抽象的。我们讨论量子计算的类型化 lambda 演算的设计
状态。在量子信息论中，我们定义了量子 lambda 演算。……