A concrete framework for environment machines (Q5277795)
From MaRDI portal
scientific article; zbMATH DE number 6744046
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A concrete framework for environment machines |
scientific article; zbMATH DE number 6744046 |
Statements
A concrete framework for environment machines (English)
0 references
12 July 2017
0 references
abstract machines
0 references
closures
0 references
derivation
0 references
explicit substitutions
0 references
