Call-by-value is dual to call-by-name
type: Item
instance of: scholarly article
title: Call-by-value is dual to call-by-name
zbMATH Open document ID: 1315.68060
DOI: 10.1145/944705.944723
author: Philip Wadler
published in: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
publication date: 2015-07-02T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6455113
zbMATH Keywords: Curry-Howard correspondence
zbMATH Keywords: De Morgan dual
zbMATH Keywords: lambda calculus
zbMATH Keywords: lambda-mu calculus
zbMATH Keywords: logic
zbMATH Keywords: natural deduction
zbMATH Keywords: sequent calculus
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1145/944705.944723
OpenAlex ID: W2053198071
Recommended article: Call-by-Value Is Dual to Call-by-Name, Extended
Recommended article: Term Rewriting and Applications
Recommended article: Q4362933
Recommended article: Q4411844
Recommended article: Call-by-push-value: Decomposing call-by-value and call-by-name
Recommended article: Q4954454
Recommended article: Call-by-Name and Call-by-Value in Normal Modal Logic
Recommended article: Call-By-Value, Again!
Recommended article: Q4281486
Recommended article: A reflection on call-by-value
description: scientific article; zbMATH DE number 6455113