×
J.莱尔德。

局部布尔域。 （英语） Zbl 1077.68049号

西奥。计算。科学。 342，第1期，132-148（2005）.
摘要：双稳双域被用来给出笛卡尔闭序列函数范畴的简单序理论构造。本文研究了由对合运算给出双稳态结构的全子范畴局部布尔域的内涵性质。我们证明了每个点局部布尔域都是仅使用乘积和提升和构造的“prenex正规形式”的ω链的极限。我们使用这个结果来描述线性逻辑模型（包括直觉主义和极化经典片段）。我们证明了仿射函数和双稳态函数对应于相关范式上的唯一“策略”，而函数组合对应于这些策略的“并行组合加隐藏”。

引用于1审查
引用于7文件

MSC公司：

68问题55 计算理论中的语义学
03楼52 线性逻辑和其他子结构逻辑的理论证明
18 C50 形式语言的范畴语义

关键词：

领域理论;线性逻辑;游戏语义
PDF格式BibTeX公司 XML格式引用
\文本{J.Laird}，Theor。计算。科学。342，编号1，132--148（2005；Zbl 1077.68049）
全文： DOI程序

参考文献：

[1] Abramsky，S。；Jagadeesan，R。；Malacaria，P.，PCF的完全抽象，Inform。计算。，163, 409-470 (2000) ·Zbl 1006.68028号
[2] Abramsky，S。；McCusker，G.，Call-by-value games，（Neilsen，M.；Thomas，W.，CSL’97（1998）的Proc.，Springer:Springer Berlin），1-17·Zbl 0908.03035号
[3] Berry，G。；Curien，P.-L.，具体数据结构的顺序算法，理论。计算。科学。，20, 265-321 (1982) ·Zbl 0497.68012号
[4] R.Cartwright，P.-L.Curien，M.Felleisen，可观察序列语言的完全抽象语义，Inform。计算。111 (2) (1994) 297-401.; R.Cartwright，P.-L.Curien，M.Felleisen，可观序语言的完全抽象语义，Inform。计算。111 (2) (1994) 297-401. ·Zbl 0806.68072号
[5] R.Cartwright，M.Felleisen，可观测序列性和完全抽象，收录于：Proc。1992年POPL’92。；R.Cartwright，M.Felleisen，《可观察的序列性和完全抽象》，载于：Proc。1992年POPL的。
[6] P.-L.居里，《论序列的对称性》，载于：《计算机科学的数学基础》，《计算机科学讲义》，第802卷，施普林格出版社，柏林，1993年。；P.-L.居里，《论序列的对称性》，载于：《计算机科学的数学基础》，《计算机科学讲义》，第802卷，施普林格出版社，柏林，1993年。
[7] P.-L.居里，作为双稳态映射的序列算法，未出版注释，2002年。；P.-L.居里，作为双稳态映射的序列算法，未出版注释，2002年。
[8] M.Hyland，A.Schalk，图上的游戏和顺序可实现泛函，收录于：Proc。2002年，IEEE出版社，纽约。；M.Hyland，A.Schalk，图上的游戏和顺序可实现泛函，收录于：Proc。2002年，IEEE出版社，纽约。
[9] J.Laird，高阶存储的范畴语义，in：Proc。CTCS’02，ENTCS，第69卷，Elsevier，阿姆斯特丹，2002。；J.Laird，高阶存储的范畴语义，in：Proc。CTCS’02，ENTCS，第69卷，爱思唯尔，阿姆斯特丹，2002年·Zbl 1270.68068号
[10] J.Laird，《双稳定性：序列性的扩展表征》，摘自：Proc。CSL’03，计算机科学讲义，第2803卷，施普林格，柏林，2003。；J.Laird，双稳定性：序列性的外延表征，载于：Proc。CSL’03，计算机科学讲义，第2803卷，施普林格，柏林，2003年·Zbl 1116.68380号
[11] J.Laird，双稳态：序列域理论，可从http://www.cogs.susx.ac.uk/users/jiml; J.Laird，双稳态：序列域理论，可从http://www.cogs.susx.ac.uk/users/jiml
[12] F.Lamarche，序列，游戏和线性逻辑，收录于：Proc。CLICS研讨会，奥胡斯大学，DAIMI-397-II，1992年。；F.Lamarche，序列，游戏和线性逻辑，收录于：Proc。CLICS研讨会，奥胡斯大学，DAIMI-397-II，1992年。
[13] O.Laurent，《两极化游戏》，收录于：Proc。第十七届计算机科学逻辑国际研讨会，LICS’02，2002。；O.Laurent，《两极化游戏》，收录于：Proc。第十七届计算机科学逻辑国际研讨会，LICS’02，2002·Zbl 1055.03020号
[14] T.Streicher，《Laird域名》，未出版注释，2002年。；T.Streicher，Laird域，未出版注释，2002年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。