Operational interpretations of linear logic
type: Item
instance of: scholarly article
title: Operational interpretations of linear logic
zbMATH Open document ID: 0951.03059
DOI: 10.1016/S0304-3975(99)00054-7
author: David N. Turner
author: Philip Wadler
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 1495164
zbMATH Keywords: operational semantics
zbMATH Keywords: operational interpretations of intuitionistic linear logic
zbMATH Keywords: call-by-value lambda-calculus
zbMATH Keywords: memory-management
MaRDI profile type: Publication
full work available at URL: s0304-3975(99)00054-7
OpenAlex ID: W2086571520
description: scientific article; zbMATH DE number 1495164