Rafael Romero | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Alejandro Díaz-Caro
16 publications
Agustín Borgna
1 publication

research

∙ 06/19/2022

Encoding High-level Quantum Programs as SZX-diagrams

The Scalable ZX-calculus is a compact graphical language used to reason ...

0 Agustín Borgna, et al. ∙

research

∙ 06/11/2021

A note on confluence in typed probabilistic lambda calculi

On the topic of probabilistic rewriting, there are several works studyin...

0 Rafael Romero, et al. ∙