New Developments in Environment Machines (Q5170161)
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: New Developments in Environment Machines |
scientific article; zbMATH DE number 6319513
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | New Developments in Environment Machines |
scientific article; zbMATH DE number 6319513 |
Statements
New Developments in Environment Machines (English)
0 references
22 July 2014
0 references
\(\lambda\)-calculus
0 references
environment machines
0 references
explicit substitutions
0 references
linear logic
0 references
0 references
