摘要：每个部分组合代数（pca）$A$和每个$A$上的部分自然函数都构造了一个pca $A[f]$，在$A[f]$中，函数$f$可以由一个元素表示；该构造的普适性通过Longley的pca和可判定的适用性态射的2-范畴来表述。
作者：Jaap van Oosten
论文ID：math/0510189
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中