A syntax for linear logic

DOI10.1007/3-540-58027-1_24MaRDI QIDQ5890063zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 786485
• scientific article; zbMATH DE number 1361538
• scientific article; zbMATH DE number 1324432
• The semantics and proof theory of linear logic
• scientific article; zbMATH DE number 937366

Cites work

• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 517042 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Inheritance as implicit coercion
• Linear logic
• The linear abstract machine

Cited in

(15)

• Encoding linear logic with interaction combinators
• Linear syntax for communicating elementary mathematics
• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
• LNL polycategories and doctrines of linear logic
• Confluence results for a quantum lambda calculus with measurements
• Linear Logic and Exceptions
• scientific article; zbMATH DE number 1980939 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• Exponentials as substitutions and the cost of cut elimination in linear logic
• Some Syntactical Observations on Linear Logic
• Linearity and passivity
• Syntax vs. semantics: A polarized approach
• Linearity and uniqueness: an entente cordiale
• Resource operators for \(\lambda\)-calculus
• The quantum monadology

Describes a project that uses

Uses Software

• Lilac

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

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