Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic

Pablo Arrighi, Alejandro Díaz-Caro. Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. Electronic Notes in Theoretical Computer Science, 270(2):219-229, 2011. [doi]

Abstract

Abstract is missing.