Toward a semantics for the QUEST language (Q4365022)
From MaRDI portal
scientific article; zbMATH DE number 1081989
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Toward a semantics for the QUEST language |
scientific article; zbMATH DE number 1081989 |
Statements
Toward a semantics for the QUEST language (English)
0 references
30 October 1997
0 references
second-order lambda calculus
0 references
QUEST language
0 references
