安德烈·赫肖维茨;马尔科·马格西 单体上的模块和初始语义。 (英语) Zbl 1200.68152号 Inf.计算。 208,第5期,545-564(2010). 摘要:受幺半群上模的经典理论的启发,我们引入了单体上模的自然概念。左模的态射的相关概念(“线性”自然变换)捕获了与替换兼容的一个重要特性,不仅在所谓的同质情况下,而且在其中的“项”和变量可能是不同类型的异构情况下。在本文中,我们给出了模块的基本构造,并展示了模块如何允许一个关于高阶语法和语义的新观点。 引用于12文件 MSC公司: 68问题55 计算理论中的语义学 关键词:左模的同构 软件:HOL灯;HOL2P公司;流行标志;Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Hirschowitz}和\textit{M.Maggesi},信息计算。208,第5号,545--564(2010;Zbl 1200.68152) 全文: 内政部 参考文献: [5] 理查德·伯德(Richard S.Bird)。;Paterson,Ross,De Bruijn表示法作为嵌套数据类型,J.Funct。程序。,9, 1, 77-91 (1999) ·Zbl 0926.68025号 [8] Ching,Michael,拓扑运算的Bar构造和恒等式的Goodwillie导数,Geom。白杨。,9833-933(2005),(电子版)·Zbl 1153.55006号 [17] (Peyton Jones,S.,Haskell 98语言与图书馆。Haskell 98语言与图书馆,修订报告(2003),剑桥大学出版社:剑桥大学出版社)·Zbl 1067.68041号 [21] Markl,Martin,作为操作补全的实配置空间的压缩,J.代数,215185-204(1999)·Zbl 0949.58009号 [22] 拉夫·马提斯(Ralph Matthes);Uustalu,Tarmo,带变量绑定的非良好语法中的替换,Theor。计算。科学。,327, 1-2, 155-174 (2004) ·Zbl 1071.68063号 [24] 莫吉,尤金尼奥,计算和单数概念,信息。计算。,93, 1, 55-92 (1991) ·兹比尔0723.68073 [25] 斯米尔诺夫,V.A.,余代数同伦理论,数学。苏联伊兹夫。,27, 575-592 (1986) ·Zbl 0612.55012号 [26] 罗斯·斯特尔,《单子的形式理论》,J.Pure Appl。代数,2,2149-168(1972)·Zbl 0241.18003号 [28] Miki Tanaka;Power,John,变量绑定的伪分布定律和公理学,高阶符号。计算。,19, 2-3, 305-337 (2006) ·Zbl 1105.68077号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。