. . . . "Recursion on sets"@en . . . . . . . "University of Oxford. Mathematical and Physical Sciences Division." . . . .