Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman
Tom 21 / 1988
Banach Center Publications 21 (1988), 21-45
DOI: 10.4064/-21-1-21-45