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