A general form of relative recursion
英文摘要：
For every partial combinatory algebra (pca) $A$ and every partial endofunction on $A$, a pca $A[f]$ is constructed such that in $A[f]$, the function $f$ is representable by an element; a universal property of the construction is formulated in terms of Longley's 2-category of pcas and decidable applicative morphisms.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
