Polynomial Time in the Parametric Lambda Calculus. (Q5277846)
From MaRDI portal
scientific article; zbMATH DE number 6744160
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Polynomial Time in the Parametric Lambda Calculus. |
scientific article; zbMATH DE number 6744160 |
Statements
12 July 2017
0 references
parametric lambda-calculus
0 references
polynomial-time complexity
0 references
combinators
0 references
nondeterminism
0 references
explicit products
0 references
implicit computational complexity
0 references
Polynomial Time in the Parametric Lambda Calculus. (English)
0 references
