量子科技中心_量科网

该研究团队提出了一种名为Lambda-SX的量子类型化λ演算系统，其创新性在于支持多测量基操作。通过在类型系统中追踪任意基下的可复制性特征，该系统实现了更灵活的测量控制与组合推理能力。研究人员系统化地构建了其语法结构、类型规则、子类型关系及操作语义，并证明了其核心元理论性质。这项工作验证了多测量基支持机制可以协调地集成到量子编程语言的类型体系之中，具有概念验证意义。