132
click to vote
ISAAC
2010
Springer
15 years 25 days ago
2010
Springer
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...