The Cost of Usage in the ?-Calculus (Q5271066)
From MaRDI portal
scientific article; zbMATH DE number 6738809
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Cost of Usage in the ?-Calculus |
scientific article; zbMATH DE number 6738809 |
Statements
The Cost of Usage in the ?-Calculus (English)
0 references
3 July 2017
0 references
standardization, beta reduction, lambda calculus, prefixes, stability
0 references
