State-transition machines for lambda-calculus expressions (Q2464714)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | State-transition machines for lambda-calculus expressions |
scientific article |
Statements
State-transition machines for lambda-calculus expressions (English)
0 references
17 December 2007
0 references
Lambda calculus
0 references
State transition machine
0 references
SECD-machine
0 references
Weak-normal form
0 references
Defunctionalization
0 references
Continuations
0 references
Denotational semantics
0 references
