Time-Space Trade-Offs for General Recursion

Time-Space Trade-Offs for General Recursion Rutger Verbeek 228-234 conf/focs/FOCS22 1981 FOCS db/conf/focs/focs81.html#Verbeek81