...
机译:λ微积分中量子计算的两个线性
UBA CONICET ICC Pabellon 1 Ciudad Univ Buenos Aires DF Argentina;
ENS Paris Saclay INRIA LSV 61 Ave President Wilson Cachan France;
Univ Nacl Rosario Pellegrini 250 Rosario SF Argentina;
Quantum computing; Lambda-calculus; Algebraic linearity; Linear logic; Measurement;
机译:λ微积分中量子计算的两个线性
机译:Lambda演算的线性化及其与相交类型系统的关系
机译:Lambda微积分的线性化及其后果
机译:用于线性光学量子计算的量子过程演算
机译:有界线性演算:基于有界线性逻辑的多项式时间可计算函数的表征
机译:傅里叶光学的量子路径计算理论及其在量子至上神经网络和非线性Schrödinger方程中的未来应用
机译:用量子过程演算验证线性光学量子计算
机译:启动au Lambda-Calcul(启动为Lambda微积分)。