菲利普·莫里。 部分映射分类器和部分笛卡尔闭范畴。 （英语） Zbl 0874.68183号 西奥。计算。科学。 136，第1号，109-123（1994）. 摘要：我们考虑了两种概念上不同的偏爱分类方法，即具有全映射的部分映射分类器（pmcs）和部分笛卡尔闭范畴（pcccs）保时捷中心使用部分映射，显示这些方法是如何紧密相关的。虽然拓扑设置通常为定义可能的pmc和部分映射类提供了更丰富的设置，但导出的条件决定了pmc和局部映射实际上可以限制为个人电脑通过这种方式，语义结构可以从两种方法中得到一致的解释。研究了涉及域和cpo的各种示例，以及与Kleisli类别的联系。最后，我们观察到，在这种背景下，涉及单子的一般范畴框架自然产生。 引用于7文件 理学硕士： 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \文本{P.S.Murry}，Theor。计算。科学。136，编号1，109--123（1994；Zbl 0874.68183） 全文： DOI程序 参考文献： [1] Applegate，H.，非循环模型和预解函子，哥伦比亚大学论文（1965） [2] 巴尔，M。；Wells，C.，《计算科学的范畴理论》（1990），Prentice Hall:Prentice Hall Englewood Cliffs，新泽西州·Zbl 0714.18001号 [3] Freyd，P.，《代数完备范畴》（1991），预印本·兹伯利0815.18005 [4] 弗雷德·P。；莫里，P。；罗索里尼，G。；Scott，D.，《扩展PER，Inform》。和计算。（1990），于·Zbl 0762.18006号 [5] Johnstone，P.T.，《拓朴理论》（1977），学术出版社：纽约学术出版社·Zbl 0368.18001号 [6] Manes，E.G.，《三元杂集：三元代数理论的某些方面》，卫斯理大学论文（1967） [7] Moggi，E.，有效物体类别中的部分形态，Inform。和计算。，76, 250-277 (1988) ·Zbl 0655.18005号 [8] Mulry，P.S.，递归集的拓扑，博士论文（1980年），纽约州立大学水牛分校 [9] Murry，P.S.，递归集拓扑中的广义Banach-Mazur泛函，J.Pure Appl。代数，26，71-83（1982）·Zbl 0491.03017号 [10] Mury，P.S.，《部分数据类型语义中的单数和代数》，Theoret。计算。科学。，99, 141-155 (1992) ·Zbl 0769.68084号 [13] Ong，L.，《懒惰的lambda演算：函数编程基础的研究》，帝国理工学院博士论文（1988） [14] Plotkin，G.，部分功能的指称语义学，CSLI课堂讲稿（1985） [15] Roman，L.，关于部分笛卡尔范畴，范畴计算。科学。和逻辑，当代数学。，92, 349-356 (1989) ·Zbl 0677.18008号 [16] Rosolini，G.，拓扑学中的连续性和有效性，博士论文（1986），牛津 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。