Partial combinatory algebra and generalized numberings

H. P. Barendregt, S. A. Terwijn

Generalized numberings are an extension of Ershov's notion of numbering, based on partial combinatory algebra (pca) instead of the natural numbers. We study various algebraic prope…