Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman Andrea Asperti; Giuseppe Longo — 1988 Banach Center Publications
Recursion theoretic operators and morphisms on numbered sets Henk Barendregt; Giuseppe Longo — 1983 Fundamenta Mathematicae