A lambda calculus for quantum computation (0)

by A van Tonder
Venue:SIAM Journal on Computing