Reversible Computations in Logic Programming https://t.co/LeecRGAq8F
803 followers
917 followers
@KikeSolanoPhys @QuantumFlagship Interesting approach, but comparison should be made with a better CNOT-based scheme. A CNOT between qubits 1 and k+1 can be done with 4k CNOTs, rather than 7k+1, as in Fig. 4 of: https://t.co/kMEaaYOdg8
3,609 followers
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper. ~ Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger. https://t.co/8meswf9yGq #FuncionalProgramming #Haskell
428 followers
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper https://t.co/jnxDWx22CD