A linear proof language for second-order intuitionistic linear logic

DOI10.1007/978-3-031-62687-6_2MaRDI QIDQ7034656zbMATH OpenFDO

Authors Alejandro Díaz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe

Publication date 31 January 2025

Full work available at URL https://doi.org/10.1007/978-3-031-62687-6_2

zbMATH Keywords

lambda calculuslinear logicpolymorphismproof theory

Mathematics Subject Classification ID

Higher-order logic (03B16) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites work

• *-Autonomous categories and linear logic
• A linear linear lambda-calculus
• A new connective in natural deduction, and its application to quantum computing
• A System F accounting for scalars
• Categories for Types
• Higher-order rewrite systems and their confluence
• scientific article; zbMATH DE number 6712184 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3179491 (Why is no real title available?)
• Intensional interpretations of functionals of finite type I
• Lambda-calculi for (strict) parallel functions
• Linear logic
• Linearity in the non-deterministic call-by-value setting
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Proceedings of the Conference on Categorical Algebra
• Realizability in the unitary sphere
• The algebraic lambda calculus
• The vectorial \(\lambda\)-calculus

Cited in

(2)

• An algebraic extension of intuitionistic linear logic: the \(\mathcal{L}_!^{\mathcal{S}}\)-calculus and its categorical model
• Towards a computational quantum logic. An overview of an ongoing research program

This page was built for publication: A linear proof language for second-order intuitionistic linear logic

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