scientific article; zbMATH DE number 7439427

zbMath1486.03110arXiv1502.04770MaRDI QIDQ5015209

Steve Zdancewic, Jennifer Paykin

Publication date: 6 December 2021

Full work available at URL: https://arxiv.org/abs/1502.04770

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Weakly distributive categories
• On the unity of logic
• The linear abstract machine
• Linearly distributive functors
• Rings of sets
• Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi
• Coalgebras and cartesian categories
• A linear/producer/consumer model of classical linear logic
• Finiteness spaces

This page was built for publication: