A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls.

Alejandro Daz-Caro

Browse the full APLAS paper archive.