1996
The intrinsic difficulty of recursive functions.
[DOI]
F. W. Kroon
Stud Logica, 1996

1990
On a complexity-based way of constructivizing the recursive functions.
[DOI]
F. W. Kroon
,
Walter A. Burkhard
Stud Logica, 1990

1971
Toward a Weakly Invariant Complexity Theory
[DOI]
Walter A. Burkhard
,
F. W. Kroon
Proceedings of the 12th Annual Symposium on Switching and Automata Theory, 1971