Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts
From MaRDI portal
Publication:2900256
DOI10.1007/978-3-642-29822-6_6zbMath1354.68043OpenAlexW103061485MaRDI QIDQ2900256
Paul Downen, Zena M. Ariola, Keiko Nakata, Hugo Herbelin, Alexis Saurin
Publication date: 20 July 2012
Published in: Functional and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00697241/file/classical-need-artifacts.pdf
controlsequent calculuslazy evaluationclassical logic\(\lambda \mu \)-calculuscall-by-needduality of computation
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)
Related Items