TY  - RPRT
TI  - Formalizing computability theory via partial recursive functions
AU  - Mario Carneiro
PY  - 2019
UR  - https://arxiv.org/abs/1810.08380
ID  - 1810.08380
ER  -