@misc{indiciaee66112cb465b, title = {The complexity of completions in partial combinatory algebra}, author = {Sebastiaan A. Terwijn}, year = {2023}, url = {https://arxiv.org/abs/2307.12685}, note = {Source identifier: 2307.12685} }