On a measurement-free quantum lambda calculus with classical control - LAGO, UGO DAL; MASINI, ANDREA; ZORZI, MARGHERITA (Mathematical structures in computer science, 2009)
Keywords: Calculus; Computer science; Logic programming; Theorems