A linear/producer/consumer model of classical linear logic

DOI10.1017/S0960129516000347zbMath1456.03104OpenAlexW2963814501MaRDI QIDQ4637629

Steve Zdancewic, Jennifer Paykin

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

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

Related Items

Unnamed Item

Uses Software

• Cyclone

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Weakly distributive categories
• On the unity of logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• Corrigenda to: ``The linear abstract machine
• Linearly distributive functors
• Secure information flow via linear continuations
• Safe manual memory management in Cyclone
• Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi
• Polarized Substructural Session Types
• Focusing and Polarization in Intuitionistic Logic
• *-Autonomous categories and linear logic
• Propositions as sessions
• Finiteness spaces
• Typed Lambda Calculi and Applications