Linear-algebraic λ-calculus: higher-order, encodings, and confluence.

DOI10.1007/978-3-540-70590-1_2MaRDI QIDQ3522006zbMATHOpenAlexFDO

Authors Pablo Arrighi, Gilles Dowek

Publication date 28 August 2008

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70590-1_2

Mathematics Subject Classification ID

Quantum computation (81P68) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article
• The vectorial \(\lambda\)-calculus
• Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic
• On Linear Combinations of λ-Terms
• Call-by-value, call-by-name and the vectorial behaviour of the algebraic \(\lambda \)-calculus

Cites work

• scientific article; zbMATH DE number 6712184 (Why is no real title available?)
• scientific article; zbMATH DE number 2043521 (Why is no real title available?)
• scientific article; zbMATH DE number 1512615 (Why is no real title available?)
• A Lambda Calculus for Quantum Computation
• A computational definition of the notion of vectorial space
• A lambda calculus for quantum computation with classical control
• A new universal and fault-tolerant quantum basis
• A single quantum cannot be cloned
• Adding algebraic rewriting to the untyped lambda calculus
• An algebra of pure quantum programming
• Complete Sets of Reductions for Some Equational Theories
• Completion of a Set of Rules Modulo a Set of Equations
• Lambda-calculi for (strict) parallel functions
• Linear logic
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• On Linear Combinations of λ-Terms
• On theories with a combinatorial definition of 'equivalence'
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Probabilistic  -calculus and Quantitative Program Analysis
• Quantum computation by measurement and quantum memory
• Rapid solution of problems by quantum computation
• The differential lambda-calculus
• The one-way quantum computer--a non-network model of quantum computation
• Towards a quantum programming language

Cited in

(21)

• Algeo: an algebraic approach to reversibility
• On a measurement-free quantum lambda calculus with classical control
• On Linear Combinations of λ-Terms
• Realizability in the unitary sphere
• Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• scientific article; zbMATH DE number 6712184 (Why is no real title available?)
• Call-by-value, call-by-name and the vectorial behaviour of the algebraic \(\lambda \)-calculus
• QPCF: higher-order languages and quantum circuits
• A typed, algebraic, computational lambda-calculus
• Call-by-value non-determinism in a linear logic type discipline
• Semantics of quantum programming languages: Classical control, quantum control
• \textsc{qPCF}: a language for quantum circuit computations
• scientific article; zbMATH DE number 7559280 (Why is no real title available?)
• Confluence results for a quantum lambda calculus with measurements
• Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
• Measurements and confluence in quantum lambda calculi with explicit qubits
• scientific article; zbMATH DE number 7089070 (Why is no real title available?)
• Extensional proofs in a propositional logic modulo isomorphisms
• A quick overview on the quantum control approach to the lambda calculus
• Wave-style token machines and quantum lambda calculi

This page was built for publication: Linear-algebraic λ-calculus: higher-order, encodings, and confluence.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522006)