Universality Results for Models in Locally Boolean Domains
Universality Results for Models in Locally Boolean Domains
复制标题
局部布尔域中模型的普遍性结果
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
T. Streicher
中科院分区：
文献类型：
--
作者：
Tobias Löw;T. Streicher
在[8]中，J. Laird证明了PCF的无穷序列扩张在他的局部布尔域范畴中具有完全抽象模型（在[10]中引入）。本文引入了他的语言的递归类型扩充SPCF∞，并证明了它的模型在局部布尔域上是普适的。
最后，我们考虑一个无限目标语言CPS∞的CPS翻译（[18]），并表明它是通用的模型在局部布尔域，这是构造像达纳斯科特的D∞，其中$D = {OT， op}$。
In [8] J. Laird has shown that an infinitary sequential extension of PCF has a fully abstract model in his category of locally boolean domains (introduced in [10] ). In this paper we introduce an extension SPCF∞ of his language by recursive types and show that it is universal for its model in locally boolean domains.
Finally we consider an infinitary target language CPS∞ for (the) CPS translation (of[18] ) and show that it is universal for a model in locally boolean domains which is constructed like Dana Scott’s D∞ where $D = {ot, op}$.
双稳态双序：顺序域理论
影响因子：
0.6
作者：
Laird J
通讯作者：
Laird J