A note on confluence in typed probabilistic lambda calculi. - Rafael Romero 002; Alejandro Díaz-Caro (LSFA, 2021)

Encoding High-level Quantum Programs as SZX-diagrams. - Agustín Borgna; Rafael Romero 002 (QPL, 2022)