A quick overview on the quantum control approach to the lambda calculus
From MaRDI portal
Cites work
- A categorical construction for the computational definition of vector spaces
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- A formal framework for specifying sequent calculus proof systems
- A lambda calculus for quantum computation with classical control
- A natural extension of natural deduction
- A new connective in natural deduction, and its application to quantum computing
- A single quantum cannot be cloned
- A Survey of Classical Realizability
- A System F accounting for scalars
- From symmetric pattern-matching to quantum control
- General-elimination harmony and the meaning of the logical constants
- scientific article; zbMATH DE number 1579275 (Why is no real title available?)
- scientific article; zbMATH DE number 1612487 (Why is no real title available?)
- scientific article; zbMATH DE number 6712184 (Why is no real title available?)
- scientific article; zbMATH DE number 5851813 (Why is no real title available?)
- scientific article; zbMATH DE number 1337625 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- Identity and harmony
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- Linearity in the non-deterministic call-by-value setting
- On the interpretation of intuitionistic number theory
- Proof normalisation in a logic identifying isomorphic propositions
- QWIRE: a core language for quantum circuits
- Realizability. An introduction to its categorical side
- The logic of quantum mechanics
- The vectorial \(\lambda\)-calculus
- Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress
- Towards a quantum programming language
- Typing Quantum Superpositions and Measurement
- Untersuchungen über das logische Schließen. I.
This page was built for publication: A quick overview on the quantum control approach to the lambda calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6661148)
