Applications of cut-free infinitary derivations to generalized recursion theory
scientific article; zbMATH DE number 1308088