文件大小：0.74 MB 22页
滑轮分类中的递归性和序列性
作者
-
部分： 体积： 第六届计算和演绎形式结构国际会议（FSCD 2021）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算和演绎的形式结构（FSCD） 许可证： 
Creative Commons Attribution 4.0国际许可 出版日期：2021-07-06
文件
文件标识符
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论 → 指称语义学 计算理论 → 范畴语义
关键词
指称语义学 完全抽象 递归 Sheaf地形 首席执行官
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Marc Bezem、Thierry Coquand和Simon Huber。 立方体集合中的类型理论模型。 程序中。 类型2013、2013。 
-
P Borthelle、T Hirschowitz和A Lafont。 细胞豪定理。 程序中。 LICS 2020年、2020年。
-
安娜·布卡洛（Anna Bucalo）、卡斯滕·福曼（Carsten Führmann）和亚历克斯·辛普森（Alex Simpson）。 提升单子的等式概念。 理论。 计算。 科学。， 294:31-60, 2003.
-
J.R.B.Cockett和Stephen Lack。 限制类别I：部分地图的类别。 理论。 计算。 科学。， 270(1):223-259, 2002.
-
J.R.B.Cockett和Stephen Lack。 限制类别二：部分地图分类。 理论。 计算。 科学。， 294(1):61-102, 2003.
-
罗伊·克罗尔（Roy L Crole）和安德鲁·皮特斯（Andrew M Pitts）。 不动点组合子的新基础。 程序中。 LICS 1990年、1990年。
-
爱德华多·杜布克。 混凝土准地形。 《滑轮的应用：滑轮理论在逻辑、代数和分析中的应用研究研讨会论文集》，达勒姆，1977年7月9日至21日，第239-254页。 施普林格-柏林-海德堡，1979年。
-
Roy Dyckhoff和Walter Tholen。 指数态射、偏积和回调补。 J.纯应用。 代数，49（1-2）：103-1161987。
-
M Fiore和G Plotkin。 公理领域理论模型到综合领域理论模型的扩展。 程序中。 CSL 1996年、1997年。
-
M.Fiore、G.Plotkin和J.Power。 公理域理论中的完备立方集。 程序中。 LICS 1997，第268-279页，1997年。
-
M.P.Fiore和A.K.Simpson。 Lambda可定义性，通过Grothendieck逻辑关系求和。 在1999年TLCA中。
-
马塞洛·菲奥雷。 域范畴和连续函数的扩充和表示定理。 可在作者的网站上查阅，1996年。
-
马塞洛·菲奥雷和朱塞佩·罗索里尼。 综合领域理论的两个模型。 J.纯应用。 《代数》，116:151-1621997年。
-
马塞洛·菲奥雷和朱塞佩·罗索里尼。 H.Theoret中的域。 计算。 科学。， 264:171-193, 2001.
-
理查德·加纳（Richard Garner）和丹尼尔·林（Daniel Lin）。限制类别的共同完成。 理论应用。 类别。， 35(22):809-844, 2020.
-
C Heunen、O Kammar、S Staton和H Yang。 高阶概率理论的一个方便范畴。 程序中。 LICS 2017年、2017年。
-
杰拉德·休特。 计算和演绎中的形式结构。 未出版，1986年。
-
M Huot、S Staton和M Vákár。 通过差异和分类粘合实现自动区分的正确性。 程序中。 2020年、2020年FOSSACS。
-
J M E Hyland公司。 合成域理论的第一步。 程序中。 范畴理论，Como，Lect。 数学笔记。， 第131-156页。 斯普林格，1990年。
-
P.T.约翰斯通。 大象素描：托波斯理论简编。 牛津逻辑指南。 牛津大学出版社，2002年。
-
阿奇姆·荣格（Achim Jung）和杰日·蒂林（Jerzy Tiuryn）。 λ可定义性的一个新特征。 Marc Bezem和Jan Friso Groote，编辑，Proc。 TLCA’93，《计算机科学讲义》第664卷，第245-257页。 施普林格，1993年。 网址： https://doi.org/10.1007/BFb0037110 . -
O.Kammar和S.Katsumata。 奥赫恩·里克模型的现代视角。 2019年低级语言（LOLA）句法和语义研讨会。
-
Ohad Kammar、Shinya Katsumata和Philip Saville。 O'Hearn&Riecke对具有总和和效果的按调用值的完全抽象。 手稿，2021年1月。
-
保罗·B·利维。 Amb打破了精准，而地Amb没有。 MFPS 2007年和2007年。
-
Paul B Levy、J Power和H Thielecke。 用按调用值编程语言建模环境。 通知。 计算。， 185(2):182-210, 2003.
-
丹尼尔·林（Daniel Lin）。对加入限制类别进行预处理。 应用分类结构，27（3）：289-3102019。
-
B Lindenhovius、M Mislove和V Zamdzhiev。 混合线性和非线性递归类型。 程序中。 2019年和2019年的ICFP。
-
约翰·朗利（John R Longley）和亚历克斯·辛普森（Alex K Simpson）。 可实现性模型中领域理论的统一方法。 数学。 结构。 计算。 科学。， 7(5):469-505, 1997.
-
马茨先生。 序列计算的完全抽象模型。 达姆施塔特科技大学博士论文，2000年。
-
迈克尔·马茨（Michael Marz）。 用于顺序计算的完全抽象模型。 理论计算机科学电子笔记，35:133-1522000。 领域研讨会IV。
-
罗宾·米尔纳。 类型λ-演算的完全抽象模型。 理论。 计算。 科学。， 4（1）：1977年1月22日。
-
尤金尼奥·莫吉。 计算和单子的概念。 信息计算。， 93:55-92, 1991.
-
菲利普·穆里（Philip S.Murry）。 部分数据类型语义中的单数和代数。 理论计算机科学，99（1）：141-1551992。
-
菲利普·穆里（Philip S.Murry）。 部分映射分类器和部分笛卡尔闭范畴。 理论计算机科学，136（1）：109-1231994。
-
雅普·范·奥斯滕·奥斯滕和亚历克斯·辛普森。 合成域理论中的公理和（反例）示例。 年鉴-纯应用。 逻辑，104:233-2782000。
-
P.W.O'Hearn和J.G.Riecke。 克里普克逻辑关系和PCF。 信息计算。， 120(1):107-116, 1995.
-
A M皮特斯。 多态性是理论上的、建设性的集合。 程序中。 CTCS 1987，LNCS第283卷。 施普林格，1987年。
-
Bernhard Reus和Thomas Streicher。 一般综合领域理论——一种逻辑方法。 数学。 结构。 计算。 科学。， 9(2):177-223, 1999.
-
J.G.Riecke和A.Sandholm。 按调用值排序的关系帐户。 信息计算。， 179(2):296-331, 2002.
-
朱塞佩·罗索里尼。 拓扑的连续性和有效性。 牛津大学博士论文，1986年。
-
达纳·S·斯科特。 λ-演算的相关理论。 在To H B Curry:组合逻辑、lambda微积分和形式主义论文，第403-450页。 学术出版社，1980年。
-
B Sherman、J Michel和M Carbin。λ_s：具有高阶函数和数据类型的可微编程的可计算语义。 程序中。 2021年6月。
-
K.西伯。 通过逻辑关系推理顺序函数。 《计算机科学中范畴的应用：伦敦数学学会研讨会论文集》，达勒姆1991年，伦敦数学学会讲座笔记系列，第258-269页。 剑桥大学出版社，1992年。
-
亚历克斯·辛普森和朱塞佩·罗索里尼。 使用合成域理论证明基于严格性的多态编程语言的操作属性。 未出版，2004年。
-
亚历克斯·K·辛普森。 基本拓扑的计算充分性。 Georg Gottlob、Etienne Grandjean和Katrin Seyr，《计算机科学逻辑》编辑，第323-342页，柏林，海德堡，1999年。 施普林格-柏林-海德堡。
-
T.斯特里彻。 函数编程的领域理论基础。 《世界科学》，2006年。
-
保罗·泰勒。 合成域理论中的不动点性质。 程序中。 LICS 1991年、1991年。