TY  - RPRT
TI  - Fixed point theorems for precomplete numberings
AU  - H. P. Barendregt
AU  - S. A. Terwijn
PY  - 2018
UR  - https://arxiv.org/abs/1809.06233
ID  - 1809.06233
ER  -