Call-by-Value Is Dual to Call-by-Name, Extended
From MaRDI portal
Publication:3498450
DOI10.1007/978-3-540-76637-7_28zbMath1138.68025OpenAlexW1519884010MaRDI QIDQ3498450
Publication date: 15 May 2008
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-76637-7_28
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A symmetric lambda calculus for classical program extraction
- Completeness of continuation models for \(\lambda_\mu\)-calculus
- Control categories and duality: on the categorical semantics of the lambda-mu calculus
- The duality of computation
- Declarative continuations: An investigation of duality in programming language semantics
- Call-by-value is dual to call-by-name
- Term Rewriting and Applications
- On the semantics of classical disjunction