带有经典控制的量子λ演算:语法和表达能力

摘要:量子数据与经典控制的无类型lambda演算的研究

作者:Ugo Dal Lago, Andrea Masini, Margherita Zorzi

论文ID:cs/0703152

分类:Logic in Computer Science

分类简称:cs.LO

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中