Higher-Order Interpretations and Program Complexity (Q4649538)
From MaRDI portal
scientific article; zbMATH DE number 6109825
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Higher-Order Interpretations and Program Complexity |
scientific article; zbMATH DE number 6109825 |
Statements
22 November 2012
0 references
implicit complexity
0 references
higher-order rewriting
0 references
quasi-interpretations
0 references
Higher-Order Interpretations and Program Complexity (English)
0 references
