Recursion theoretic operators and morphisms on numbered sets Henk Barendregt; Giuseppe Longo — 1983 Fundamenta Mathematicae