160
click to vote
ERSHOV
15 years 10 months ago
1989 Springer 
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
|
Theoretical Computer Science