No. Title Author Year
1 A Curry-Howard Correspondence for Linear, Reversible Computation Chardonnet, Kostia et al. 2023
2 LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits Clément, Alexandre et al. 2022
3 Concrete Categorical Model of a Quantum Circuit Description Language with Measurement Lee, Dongho et al. 2021
4 Geometry of Interaction for ZX-Diagrams Chardonnet, Kostia et al. 2021
Current Page :
Number of result pages: 1
Number of documents: 4

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI