A syntactic theory of sequential state (Q1263961)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A syntactic theory of sequential state |
scientific article |
Statements
A syntactic theory of sequential state (English)
0 references
1989
0 references
higher-order programming language
0 references
abstract machine semantics
0 references
\(\lambda \) -programming language
0 references
rewriting system
0 references
