Institution profile

LORIA

Academic institutioneurope · fr
Official website
Research library11linked papers
Opportunities0open roles
Selected work

Representative Papers

A quantum let within the lambda calculus

Aug 29, 2026

本文解决了量子lambda演算中无法消除张量积的问题,通过引入新的let构造来分解和绑定单量子比特密度矩阵,从而恢复了丢弃量子比特的能力。

0 citationsRead paper
Recent publications

Latest Papers

A quantum let within the lambda calculus

Aug 29, 2026

本文解决了量子lambda演算中无法消除张量积的问题,通过引入新的let构造来分解和绑定单量子比特密度矩阵,从而恢复了丢弃量子比特的能力。

0 citationsRead paper