Towards a computational quantum logic. An overview of an ongoing research program

DOI10.1007/978-3-031-95908-0_3MaRDI QIDQ6897665zbMATH OpenFDO

Authors Alejandro Díaz-Caro

Publication date 19 November 2025

Full work available at URL https://doi.org/10.1007/978-3-031-95908-0_3

zbMATH Keywords

categorical semanticslambda calculuslinear logicquantum computing

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A categorical construction for the computational definition of vector spaces
• A concrete model for a typed linear algebraic lambda calculus
• A linear linear lambda-calculus
• A linear proof language for second-order intuitionistic linear logic
• A new connective in natural deduction, and its application to quantum computing
• Call-by-value, call-by-name and the vectorial behaviour of the algebraic -calculus
• Categories for Types
• Coherence for compact closed categories
• scientific article; zbMATH DE number 6712184 (Why is no real title available?)
• Lectures on the Curry-Howard isomorphism
• Notions of computation and monads
• Quantum computation and quantum information. 10th anniversary edition
• Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
• Realizability in the unitary sphere
• The logic of quantum mechanics.
• Weighted relational models of typed lambda-calculi

This page was built for publication: Towards a computational quantum logic. An overview of an ongoing research program

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