A linear/producer/consumer model of classical linear logic

DOI10.1017/S0960129516000347MaRDI QIDQ4637629zbMATH OpenOpenAlexFDO

Authors Jennifer Paykin, Steve Zdancewic

Publication date 25 April 2018

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129516000347

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Extensive, distributive, and adhesive categories (18B50)

Recommendations

• scientific article; zbMATH DE number 7439427
• scientific article; zbMATH DE number 2079022
• Classical linear logic of implications
• scientific article; zbMATH DE number 1303730
• A classical linear \(\lambda\)-calculus

Cites work

• *-Autonomous categories and linear logic
• Categorical semantics of linear logic
• Corrigenda to: ``The linear abstract machine
• Finite vector spaces as model of simply-typed lambda-calculi
• Finiteness spaces
• Focusing and Polarization in Intuitionistic Logic
• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 1268810 (Why is no real title available?)
• scientific article; zbMATH DE number 512773 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• Linear logic
• Linearly distributive functors
• On the unity of logic
• Polarized Substructural Session Types
• Propositions as sessions
• Safe manual memory management in Cyclone
• Secure information flow via linear continuations
• The system \({\mathcal F}\) of variable types, fifteen years later
• Typed Lambda Calculi and Applications
• Weakly distributive categories

Cited in

(1)

• scientific article; zbMATH DE number 7439427 (Why is no real title available?)

Describes a project that uses

Uses Software

• Cyclone

This page was built for publication: A linear/producer/consumer model of classical linear logic

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