1. An algebra of pure quantum programming;Altenkirch;Electronic Notes in Theoretical Computer Science,2007
2. Linear-algebraic λ-calculus: higher-order, encodings and confluence;Arrighi,2008
3. Lambda calculi with types;Barendregt,1992
4. The logic of quantum mechanics;Birkhoff;Annals of Mathematics,1936
5. Probabilistic λ-calculus and quantitative program analysis;Di Pierro;Journal of Logic and Computation,2005