Linear lambda-calculus is linear

DOI10.4230/LIPICS.FSCD.2022.21MaRDI QIDQ6544116zbMATH OpenFDO

Authors Alejandro Díaz-Caro, Gilles Dowek

Publication date 27 May 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2022.21

zbMATH Keywords

lambda calculuslinear logicproof theoryquantum computing

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Some Properties of Linear Logic Proved by Semantic Methods
• Preface to the special issue on linearity
• A language for multiplicative-additive linear logic
• scientific article; zbMATH DE number 6712184
• Scalar System F for linear-algebraic -calculus: towards a quantum physical logic

This page was built for publication: Linear lambda-calculus is linear

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