A combinatory algebra for sequential functionals of finite type
A combinatory algebra for sequential functionals of finite type
复制标题
有限类型序贯泛函的组合代数
DOI：
10.1017/cbo9780511565670.019
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
J. V. Oosten
中科院分区：
文献类型：
--
作者：
J. V. Oosten
结果表明，与部分函数的组合代数相关的nite型函数的类型结构从IN到IN（以与可数功能的类型结构相同）与总函数的部分组合代数相关联。 in），是对object n生成的类型结构的同构
在自然数的域上，在Ehrhard的类别中，与连贯性\ Di域类别中”或他的\ Hypersherence”。
It is shown that the type structure of nite-type functionals associated to a combinatory algebra of partial functions from IN to IN (in the same way as the type structure of the countable functionals is associated to the partial combinatory algebra of total functions from IN to IN), is isomorphic to the type structure generated by object N (the
at domain on the natural numbers) in Ehrhard's category of \dI-domains with coherence", or his \hypercoherences".