Cited By
View all- Escanez-Exposito DCaballero-Gil PRodriguez-Vega MCosta-Cano FSáenz-de-Cabezón E(2025)Algebraic language for the efficient representation and optimization of quantum circuitsPhysica Scripta10.1088/1402-4896/ad9fb6100:2(025107)Online publication date: 13-Jan-2025
- Luo JZhao J(2025)Formalization of Quantum Intermediate Representations for code safetyJournal of Systems and Software10.1016/j.jss.2024.112236219:COnline publication date: 1-Jan-2025
- Bonchi FDi Giorgio ASantamaria A(2023)Deconstructing the Calculus of Relations with Tape DiagramsProceedings of the ACM on Programming Languages10.1145/35712577:POPL(1864-1894)Online publication date: 9-Jan-2023
- Show More Cited By