Internal Partial Combinatory Algebras and their Slices

Jetze Zoethout

A partial combinatory algebra (PCA) is a set equipped with a partial binary operation that models a notion of computability. This paper studies a generalization of PCAs, introduced…