×

单体上的模块和初始语义。 (英语) Zbl 1200.68152号

摘要:受幺半群上模的经典理论的启发,我们引入了单体上模的自然概念。左模的态射的相关概念(“线性”自然变换)捕获了与替换兼容的一个重要特性,不仅在所谓的同质情况下,而且在其中的“项”和变量可能是不同类型的异构情况下。在本文中,我们给出了模块的基本构造,并展示了模块如何允许一个关于高阶语法和语义的新观点。

MSC公司:

68问题55 计算理论中的语义学

关键词:

左模的同构
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。