A quick overview on the quantum control approach to the lambda calculus

DOI10.4204/EPTCS.357.1MaRDI QIDQ6661148

Alejandro Díaz-Caro

Publication date: 13 January 2025

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The vectorial \(\lambda\)-calculus
• General-elimination harmony and the meaning of the logical constants
• Realizability. An introduction to its categorical side
• From symmetric pattern-matching to quantum control
• A formal framework for specifying sequent calculus proof systems
• A categorical construction for the computational definition of vector spaces
• Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress
• A concrete categorical semantics of lambda-\(\mathcal{S}\)
• Untersuchungen über das logische Schließen. I.
• The logic of quantum mechanics
• A System F accounting for scalars
• Linearity in the Non-deterministic Call-by-Value Setting
• A Survey of Classical Realizability
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• A natural extension of natural deduction
• Identity and harmony
• Towards a quantum programming language
• Typing Quantum Superpositions and Measurement
• A single quantum cannot be cloned
• QWIRE: a core language for quantum circuits
• A lambda calculus for quantum computation with classical control
• On the interpretation of intuitionistic number theory
• A new connective in natural deduction, and its application to quantum computing

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)