Scalar System F for linear-algebraic -calculus: towards a quantum physical logic
DOI10.1016/J.ENTCS.2011.01.033zbMATH Open1347.03019OpenAlexW2070230244WikidataQ113318304 ScholiaQ113318304MaRDI QIDQ2825375FDOQ2825375
Authors: 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
Recommendations
- A System F accounting for scalars
- A type system for the vectorial aspect of the linear-algebraic lambda-calculus
- The vectorial \(\lambda\)-calculus
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- Confluence via strong normalisation in an algebraic \(\lambda\)-calculus with rewriting
Combinatory logic and lambda calculus (03B40) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)
Cites Work
- Title not available (Why is that?)
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
- Quantum programming languages: survey and bibliography
- 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
- Functional and Logic Programming
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
Cited In (6)
Uses Software
This page was built for publication: Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2825375)
