Operational interpretations of linear logic

DOI10.1016/S0304-3975(99)00054-7MaRDI QIDQ1575871zbMATH OpenOpenAlexFDO

Authors David N. Turner, Philip Wadler

Publication date 23 August 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(99)00054-7

zbMATH Keywords

call-by-value lambda-calculusmemory-managementoperational interpretations of intuitionistic linear logicoperational semantics

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Computational interpretations of linear logic
• Reference counting as a computational interpretation of linear logic
• Functional Interpretations of Intuitionistic Linear Logic
• Functional interpretations of intuitionistic linear logic

Cited in

(7)

• Reference counting as a computational interpretation of linear logic
• Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion
• scientific article; zbMATH DE number 1392290 (Why is no real title available?)
• Modular, higher order cardinality analysis in theory and practice
• Computational interpretations of linear logic
• IMELL cut elimination with linear overhead
• A two-level linear dependent type theory

This page was built for publication: Operational interpretations of linear logic

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