A lambda calculus for quantum computation (0)

by A van Tonder
Venue:In: SIAM Journal of Computing