A lambda calculus for quantum computation with classical control (2005)

by Peter Selinger , Benoît Valiron
Venue:IN PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON TYPED LAMBDA CALCULI AND APPLICATIONS (TLCA), VOLUME 3461 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:44 - 6 self