Classical Call-by-Need and Duality (Q3007655)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Classical Call-by-Need and Duality |
scientific article |
Statements
Classical Call-by-Need and Duality (English)
0 references
17 June 2011
0 references
call-by-need
0 references
lazy evaluation
0 references
duality of computation
0 references
sequent calculus
0 references
\(\lambda \mu \)-calculus
0 references
classical logic
0 references
control
0 references
subtraction connective
0 references
0 references
