A. Díaz-Caro, M. Guillermo, A. Miquel, and B. Valiron. “Realizability in the Unitary Sphere”, accepted at 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019).
Popularisation article at ICC website (in Spanish): “Un lenguaje de programación para la computación cuántica“.