The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter (Q5111200)
From MaRDI portal
scientific article; zbMATH DE number 7204324
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter |
scientific article; zbMATH DE number 7204324 |
Statements
26 May 2020
0 references
geometry of interaction
0 references
cost analysis
0 references
call-by-need reduction
0 references
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter (English)
0 references
