TY  - RPRT
TI  - Partial combinatory algebra and generalized numberings
AU  - H. P. Barendregt
AU  - S. A. Terwijn
PY  - 2020
UR  - https://arxiv.org/abs/1910.07750
ID  - 1910.07750
ER  -