Romero, Lucas Rafael

Datos académicos

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-2 de 2

Artículo A note on confluence in typed probabilistic lambda calculi

Romero, Lucas Rafael ; Díaz Caro, Alejandro (Open Publishing Association, 2022-04)
Artículo Encoding High-level Quantum Programs as SZX-diagrams

Borgna, Augustin; Romero, Lucas Rafael (Open Publishing Association, 2023-11)

Mostrando ítems 1-2 de 2