Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. - Longo, Giuseppe; Moggi, Eugenio (1984)