Control reduction theories: the benefit of structural substitution
From MaRDI portal
Publication:3503192
DOI10.1017/S0956796807006612zbMath1138.68020MaRDI QIDQ3503192
Publication date: 22 May 2008
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N18: Functional programming and lambda calculus
Related Items
A type-theoretic foundation of delimited continuations, Classical Call-by-Need and Duality, An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form
Cites Work