Measurements in Proof Nets as Higher-Order Quantum Circuits
2015
https://link.springer.com/chapter/10.1007/978-3-642-54833-8_20
lambda calculus
linear logic
proof nets
quantum
/icons/hr.icon
description
MLLのλ項<->proof nets，proof nets<->量子回路