The call-by-value λ-calculus: a semantic investigation (Q4719353)
From MaRDI portal
scientific article; zbMATH DE number 1383794
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The call-by-value λ-calculus: a semantic investigation |
scientific article; zbMATH DE number 1383794 |
Statements
The call-by-value λ-calculus: a semantic investigation (English)
0 references
17 May 2000
0 references
coherence spaces
0 references
Scott domains
0 references
call-by-value \(\lambda\)-calculus
0 references
category
0 references
