Third-order functionals on partial combinatory algebras

Jetze Zoethout

Computability relative to a partial function $f$ on the natural numbers can be formalized using the notion of an oracle for this function $f$. This can be generalized to arbitrary…