A syntactic theory of sequential state (Q1263961)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A syntactic theory of sequential state |
scientific article; zbMATH DE number 4128361
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A syntactic theory of sequential state |
scientific article; zbMATH DE number 4128361 |
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
0.9152857
0 references
0.9152855
0 references
0.9136961
0 references
0.8987023
0 references
0 references
0.8504864
0 references
0 references
