TY - RPRT TI - Aspects of categorical recursion theory AU - Pieter Hofstra AU - Philip Scott PY - 2020 UR - https://arxiv.org/abs/2001.05778 ID - 2001.05778 ER -