26 citations · 185 across the 21 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
quant-ph2008★ 15 cited
Measurements and confluence in quantum lambda calculi with explicit qubits
Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella +1
This paper demonstrates how to add a measurement operator to quantum lambda-calculi. A proof of the consistency of the semantics is given through a proof of confluence presented in…
quant-ph2005
A Discussion on the Teleportation Protocol for States of N Qubits
Alejandro Diaz-Caro, Manuel Gadella
In this paper, we want to present a simple and comprehensive method to implement teleportation of a system of N qubits and its discussion on the corresponding quantum circuit. The…