133
click to vote
ERSHOV
15 years 7 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