Call-by-name, call-by-value, call-by-need and the linear lambda calculus
type: Item
instance of: scholarly article
title: Call-by-name, call-by-value, call-by-need and the linear lambda calculus
zbMATH Open document ID: 0952.03009
DOI: 10.1016/S0304-3975(98)00358-2
author: J. Maraist
author: David N. Turner
author: Philip Wadler
author: Martin Odersky
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 1495173
zbMATH Keywords: call-by-value calculus
zbMATH Keywords: translations of intuitionistic logic into linear logic
zbMATH Keywords: call-by-name calculus
zbMATH Keywords: affine calculus
zbMATH Keywords: Curry-Howard isomorphism
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1495173