×

同构数据转换的广群。 (英语) Zbl 1247.68048号

Carette,Jacques(编辑)等人,《智能计算机数学》。2009年7月6日至12日,在加拿大大本德举行了2009年第16届Calculemus研讨会,2009年第8届MKM国际会议,作为2009年CICM的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02613-3/pbk)。计算机科学课程讲稿5625。人工智能课堂讲稿,170-185(2009)。
摘要:作为哥德尔数已知主题的变体,定义强类型函数语言中数据类型转换的同构被组织为有限群胚,使用高阶组合器语言,该语言统一了自然数、有限序列、有向图、,超图和有限置换以及更为奇异的超图,如遗传有限函数、集合和置换。
关于整个系列,请参见[Zbl 1165.68005号].

MSC公司:

68甲18 函数编程和lambda演算
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 《我们赖以生存的隐喻》,芝加哥大学出版社,芝加哥(1980)
[2] 库克,S.:复杂性类理论及其命题翻译。In:计算和证明的复杂性,第1-36页(2004)·兹比尔1084.03044
[3] Gödel,K.:《数学原理与系统I》,Monatsheft für Mathematik und Physik 38,173-198(1931)·JFM 57.0054.02号 ·doi:10.1007/BF01700692
[4] Hartmanis,J.,Baker,T.P.:关于简单的哥德尔数和翻译。收录:Loeckx,J.(编辑)ICALP 1974。LNCS,第14卷,第301-316页。斯普林格,海德堡(1974)·Zbl 0283.68055号 ·doi:10.1007/3-540-06841-469
[5] Mac Lane,S.:工作数学家的类别。施普林格,纽约(1998)·Zbl 0906.18001号
[6] Pepis,J.:Ein verfahren der mathematischen logik。符号逻辑杂志3(2),61-76(1938)·Zbl 0018.38502号 ·doi:10.2307/2267610
[7] 卡尔玛:关于决策问题的约简。第一篇论文。ackermann前缀,单个二进制谓词。符号逻辑杂志4(1),1-9(1939)·Zbl 0020.19501号 ·doi:10.2307/2266211
[8] Robinson,J.:一般递归函数。美国数学学会会刊1(6),703–718(1950)·Zbl 0041.15101号 ·doi:10.1090/S0002-9939-1950-0038912-1
[9] McCarthy,J.:符号表达式的递归函数及其机器计算,第一部分:公共。ACM 3(4),184-195(1960)·Zbl 0101.10413号 ·doi:10.1145/367177.367199
[10] Tarau,P.:声明性组合数学:Haskell中的同构、同态和遗传有限数据类型,104页(2009年1月)(未出版草稿),http://arXiv.org/abs/0808.2953
[11] Meijer,E.,Hutton,G.:《太空中的香蕉:将折叠和展开扩展到指数型》。收录于:FPCA,第324–333页(1995年)
[12] M.O.高桥:有限数学基础。出版物。研究机构数学。科学。 12(3), 577–708 (1976) ·Zbl 0357.02033号 ·doi:10.2977/prims/1195190375
[13] 阿克曼,W.F.:在所有的管理层中都有更广泛的应用。《数学年鉴》(Mathematische Annalen)(114),305-315(1937)·Zbl 0016.19501号
[14] Knuth,D.E.:计算机编程艺术,第三版。半数值算法,第2卷。Addison-Wesley/Longman Publishing Co.,Inc.,波士顿(1997)·Zbl 0895.68055号
[15] Mantaci,R.,Rakotondrajao,F.:了解“欧拉”含义的排列表示。离散数学与理论计算机科学4(2),101–108(2001)·Zbl 0965.05002号
[16] Alimarine,A.,Smetsers,S.,van Weelden,A.,van Eekelen,M.,Plasmeijer,R.:这里和后面:可逆编程箭头。摘自:Haskell 2005:2005年ACM SIGPLAN Haskells研讨会会议记录,第86–97页。ACM出版社,纽约(2005)·数字对象标识代码:10.1145/1088348.1088357
[17] Conal Elliott:数据。Bijections Haskell模块,http://haskell.org/haskellwiki/TypeCompose
[18] Hughes,J.:将Monads归纳为Arrows计算机编程科学37,67–111(2000)·Zbl 0954.68034号 ·doi:10.1016/S0167-6423(99)00023-4
[19] Martinez,C.,Molinero,X.:生成组合对象的通用算法。收录:Rovan,B.,Vojtáš,P.(编辑)MFCS 2003。LNCS,第2747卷,第572-581页。斯普林格,海德堡(2003)·Zbl 1124.68396号 ·doi:10.1007/978-3-540-45138-9_51
[20] Knuth,D.:《计算机编程的艺术》,第4卷,草稿(2006年),http://www-cs-factory.stanford.edu/knuth/taocp.html
[21] Myrvold,W.,Ruskey,F.:线性时间中的排序和非排序排列。信息处理信函79,281–284(2001)·Zbl 1032.68670号 ·doi:10.1016/S0020-0190(01)00141-7
[22] Cégielski,P.,Richard,D.:具有康托配对函数和后继函数的自然整数理论的可判定性。西奥。计算。科学。 257(1-2), 51–77 (2001) ·Zbl 0971.03012号 ·doi:10.1016/S0304-3975(00)00109-2
[23] Rosenberg,A.L.:有效的配对功能——以及为什么你应该关心。国际计算机科学基础杂志14(1),3–17(2003)·Zbl 1099.68634号 ·doi:10.1142/S012905410300156X
[24] Kaye,R.,Wong,T.L.:关于算术和集合论的解释。《圣母院J.形式逻辑》第48卷(4),497–510(2007)·Zbl 1137.03019号 ·doi:10.1305/ndjfl/1193667707
[25] Kirby,L.:集合的加法和乘法。数学。日志。问题53(1),52–65(2007)·Zbl 1110.03034号 ·doi:10.1002/malq.200610026
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。