A concrete categorical semantics of lambda-S

DOI10.1016/J.ENTCS.2019.07.006MaRDI QIDQ2333669zbMATH OpenOpenAlexWikidataFDO

Authors 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

algebraic lambda-calculuscategorical semanticsquantum computing

Mathematics Subject Classification ID

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

Recommendations

• A categorical construction for the computational definition of vector spaces
• Categorical models for a semantically linear \(\lambda\)-calculus
• Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
• Typing Quantum Superpositions and Measurement
• A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)

Cites work

• A lambda calculus for quantum computation with classical control
• A System F accounting for scalars
• Applying quantitative semantics to higher-order quantum computing
• Call-by-value, call-by-name and the vectorial behaviour of the algebraic -calculus
• Computational interpretations of linear logic
• Dagger compact closed categories and completely positive maps (extended abstract)
• scientific article; zbMATH DE number 6712184 (Why is no real title available?)
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• Linear logic
• Linearity in the non-deterministic call-by-value setting
• On quantum lambda calculi: a foundational perspective
• The algebraic lambda calculus
• The vectorial \(\lambda\)-calculus
• Typing Quantum Superpositions and Measurement

Cited in

(9)

• A categorical construction for the computational definition of vector spaces
• Semantics for first-order affine inductive data types via slice categories
• scientific article; zbMATH DE number 2185674 (Why is no real title available?)
• scientific article; zbMATH DE number 937388 (Why is no real title available?)
• Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
• Typing Quantum Superpositions and Measurement
• A concrete model for a typed linear algebraic lambda calculus
• A quick overview on the quantum control approach to the lambda calculus
• The sup connective in IMALL: a categorical semantics

Describes a project that uses

Uses Software

• Quipper
• QML

This page was built for publication: A concrete categorical semantics of lambda-\(\mathcal{S}\)

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