Measurements in Proof Nets as Higher-Order Quantum Circuits

DOI10.1007/978-3-642-54833-8_20zbMath1405.68095OpenAlexW80378586MaRDI QIDQ5410710

Ichiro Hasuo, Claudia Faggian, Akira Yoshimizu, Ugo Dal Lago

Publication date: 16 April 2014

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54833-8_20

Mathematics Subject Classification ID

Quantum computation (81P68) Logic in computer science (03B70) Quantum measurement theory, state operations, state preparations (81P15) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Semantics of higher-order quantum computation via geometry of interaction ⋮ Unnamed Item

This page was built for publication: Measurements in Proof Nets as Higher-Order Quantum Circuits