scientific article; zbMATH DE number 7439427

MaRDI QIDQ5015209zbMATH OpenFDO

Authors Jennifer Paykin, Steve Zdancewic

Publication date 6 December 2021

Full work available at URL https://arxiv.org/abs/1502.04770, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2014.2

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

• A linear/producer/consumer model of classical linear logic
• Models of linear logic
• A concurrent model for linear logic
• scientific article; zbMATH DE number 1499096
• scientific article; zbMATH DE number 17706
• Axioms and models of linear logic
• Linear logic as a logic of computations
• Linear logic
• scientific article; zbMATH DE number 1086632
• Computational Interpretations of Classical Linear Logic

Cites work

• A linear/producer/consumer model of classical linear logic
• Categorical semantics of linear logic
• Coalgebras and cartesian categories
• Finite vector spaces as model of simply-typed lambda-calculi
• Finiteness spaces
• scientific article; zbMATH DE number 3983158 (Why is no real title available?)
• scientific article; zbMATH DE number 3522182 (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
• Rings of sets
• The linear abstract machine
• Weakly distributive categories

Cited in

(1)

• A linear/producer/consumer model of classical linear logic

This page was built for publication:

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