A categorical construction for the computational definition of vector spaces

DOI10.1007/s10485-020-09598-7zbMath1461.03016arXiv1905.01305OpenAlexW3100233597MaRDI QIDQ2024925

Octavio Malherbe, Alejandro Díaz-Caro

Publication date: 4 May 2021

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.01305

zbMATH Keywords

quantum computingcategorical semanticsalgebraic lambda-calculus

Mathematics Subject Classification ID

Quantum computation (81P68) Grammars and rewriting systems (68Q42) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40) Monoidal categories, symmetric monoidal categories (18M05)

Related Items

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model, A concrete model for a typed linear algebraic lambda calculus, A new connective in natural deduction, and its application to quantum computing

Uses Software

• QML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Families parametrized by coalgebras
• The differential lambda-calculus
• Confluence in probabilistic rewriting
• A concrete categorical semantics of lambda-\(\mathcal{S}\)
• Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
• The algebraic lambda calculus
• Typing Quantum Superpositions and Measurement
• Intensional interpretations of functionals of finite type I