×

扩展PER。 (英语) 兹比尔0762.18006

编程语言的数学(指称)语义需要一个支持计算模型和有效性的通用框架。为了寻找一类好的域,作者给出了关于自然数的一类部分等价关系的结果。扩张PER(简称ExPER)是一个笛卡尔闭范畴,其中每个自同态都有一个正则不动点。域方程保证有解,因为所有基本函子都是可实现的,并且都有正则不变对象。本文中出现的与类别(Ex)PER相关的概念是使用计算理论中常见的工具,即图灵机来定义的。

MSC公司:

18日第15天 闭范畴(闭单体和笛卡尔闭范畴等)
68问题55 计算理论中的语义学
18B10型 跨度/cospan、关系或部分映射的类别
18对25 托波伊
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Carboni,A。;弗雷德·P·J。;Scedrov,A.,《实现性和多态类型的分类方法》,(第三届ACM编程语言语义数学基础研讨会论文集。第三届AMM编程语言语义学数学基础研讨会文献集,计算机科学讲义(1987),Springer-Verlag:柏林Springer-Verlag)·Zbl 0651.18004号
[2] Freyd,P.,递归类型简化为归纳类型,(第五届IEEE逻辑与计算机科学年会论文集,第五届电气与电子工程师协会逻辑与计算机会议论文集,费城,1990年6月(1990))
[3] Hyland,J.M.E.,《有效地形》(The effective topos),(Troelstra,A.S.;Van Dalen,D.,L.E.J.Brouwer,《百年纪念研讨会》(1982),北荷兰:北荷兰阿姆斯特丹)·Zbl 0522.03055号
[4] Murry,P.S.,递归集拓扑中的广义Banach-Mazur泛函,J.Pure Appl。代数,26(1982)·Zbl 0491.03017号
[5] Rosolini,G.,《拓扑结构的连续性和有效性》(牛津大学博士论文(1986年))
[6] Scott,D.(牛津大学数学计算理论讲座(1981),技术专著PR6-19
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。