Gdel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness.

Giuseppe Longo, Eugenio Moggi

Browse the full MFCS paper archive.