1. Predicative recursion and computational complexity;Bellantoni;PhD thesis,1993
2. A new recursion-theoretic characterization of the polytime functions;Bellantoni;Comput. Complexity,1992
3. Computability and complexity of higher type functions;Cook,1992
4. Grundlagen der kombinatorischen Logik;Curry;Amer. J. Math.,1930
5. Grundlagen der kombinatorischen Logik;Curry;Amer. J. Math.,1930