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

DOI10.1016/j.entcs.2011.01.033zbMath1347.03019OpenAlexW2070230244WikidataQ113318304 ScholiaQ113318304MaRDI QIDQ2825375

Pablo Arrighi, Alejandro Díaz-Caro

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.01.033

zbMATH Keywords

quantum logictype theoryCurry-Howard isomorphismprobabilistic lambda calculus

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Combinatory logic and lambda calculus (03B40)

Uses Software

• Automath

Cites Work

• Unnamed Item
• Linear logic
• Lectures on the Curry-Howard isomorphism
• Bounded linear logic: A modular approach to polynomial-time computability
• An Algebra of Pure Quantum Programming
• Probabilistic  -calculus and Quantitative Program Analysis
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Functional and Logic Programming
• Quantum programming languages: survey and bibliography

This page was built for publication: Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic