AGUSTIN BORGNA; RAFAEL ROMERO

Encoding High-level Quantum Programs as SZX-diagrams

Electronic Proceedings in Theoretical Computer Science; Año: 2023 vol. 394 p. 141 - 169

RAFAEL ROMERO; ALEJANDRO DÍAZ-CARO

A Note on Confluence in Typed Probabilistic Lambda Calculi

Electronic Proceedings in Theoretical Computer Science; Año: 2022 vol. 357 p. 18 - 24