Towards a typed quantum programming language (0)

by P Selinger
Venue:Math. Structures in Comp. Sci