A syntax for linear logic

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

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

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
• Publication:4896506

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)

Cites Work

• Title not available (Why is that?)
• Linear logic
• Title not available (Why is that?)
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Title not available (Why is that?)
• The linear abstract machine
• Inheritance as implicit coercion
• Title not available (Why is that?)

Cited In (14)

• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Exponentials as substitutions and the cost of cut elimination in linear logic
• Some Syntactical Observations on Linear Logic
• Linearity and passivity
• Linearity and uniqueness: an entente cordiale
• Syntax vs. semantics: A polarized approach
• Resource operators for \(\lambda\)-calculus

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)