A concrete categorical semantics of lambda-\(\mathcal{S}\)

DOI10.1016/j.entcs.2019.07.006zbMath1433.68201OpenAlexW2969706276WikidataQ113317459 ScholiaQ113317459MaRDI QIDQ2333669

Alejandro Díaz-Caro, Octavio Malherbe

Publication date: 13 November 2019

Full work available at URL: https://doi.org/10.1016/j.entcs.2019.07.006

zbMATH Keywords

quantum computingcategorical semanticsalgebraic lambda-calculus

Mathematics Subject Classification ID

Quantum computation (81P68) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Combinatory logic and lambda calculus (03B40)

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 categorical construction for the computational definition of vector spaces

Uses Software

• Quipper
• QML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The vectorial \(\lambda\)-calculus
• Linear logic
• Computational interpretations of linear logic
• Dagger Compact Closed Categories and Completely Positive Maps
• A System F accounting for scalars
• Linearity in the Non-deterministic Call-by-Value Setting
• Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
• On quantum lambda calculi: a foundational perspective
• The algebraic lambda calculus
• Typing Quantum Superpositions and Measurement
• Applying quantitative semantics to higher-order quantum computing
• A lambda calculus for quantum computation with classical control