Measurements and confluence in quantum lambda calculi with explicit qubits
- Díaz-Caro, A.
- Arrighi, P.
- Gadella, M.
- Grattage, J.
ISSN: 1571-0661
Año de publicación: 2011
Volumen: 270
Número: 1
Páginas: 59-74
Tipo: Aportación congreso
ISSN: 1571-0661
Año de publicación: 2011
Volumen: 270
Número: 1
Páginas: 59-74
Tipo: Aportación congreso