A lambda calculus for quantum computation (2004)

by A van Tonder
Venue:SIAM J. Comput