%0 Journal Article %A Beckmann, Arnold %A Pohlers, Wolfram %D 1998 %I Elsevier %J Annals of Pure and Applied Logic %N 1-3 %P 7-19 %T Applications of cut-free infinitary derivations to generalized recursion theory %V 94