Rafael Romero

Orcid: 0000-0003-3186-1172

Affiliations:

According to our database¹, Rafael Romero authored at least 2 papers between 2021 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Encoding High-level Quantum Programs as SZX-diagrams.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2021

A note on confluence in typed probabilistic lambda calculi.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021