Control structures in programs and computational complexity (Q1772780)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Control structures in programs and computational complexity |
scientific article |
Statements
Control structures in programs and computational complexity (English)
0 references
21 April 2005
0 references
Implicit computational complexity
0 references
Imperative programming languages
0 references
Grzegorczyk hierarchy
0 references
Higher-type recursion
0 references
Lambda calculus
0 references
Polynomial time
0 references
