A syntax for linear logic

DOI10.1007/3-540-58027-1_24OpenAlexW1563480347MaRDI QIDQ5890063

Philip Wadler

Publication date: 28 April 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58027-1_24

zbMATH Keywords

linear logicnatural deductionpattern matchconcrete syntaxlinear assumption

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Resource operators for \(\lambda\)-calculus ⋮ LNL polycategories and doctrines of linear logic ⋮ Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ⋮ Linearity and uniqueness: an entente cordiale ⋮ Confluence Results for a Quantum Lambda Calculus with Measurements

Uses Software

• Lilac

Cites Work

• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• The linear abstract machine
• Inheritance as implicit coercion
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A syntax for linear logic