Theories with self-application and computational complexity
Information and Computation
On characterizations of the basic feasible functionals, Part I
Journal of Functional Programming
A proof-theoretic characterization of the basic feasible functionals
Theoretical Computer Science
Speed-Up Theorems in Type-2 Computation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Hi-index | 0.00 |