Operational interpretations of linear logic

DOI10.1016/S0304-3975(99)00054-7zbMath0951.03059OpenAlexW2086571520MaRDI QIDQ1575871

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

operational semanticscall-by-value lambda-calculusmemory-managementoperational interpretations of intuitionistic linear logic

Mathematics Subject Classification ID

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

Related Items (2)

Modular, higher order cardinality analysis in theory and practice ⋮ Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion

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