马科托·哈马纳 自由\（\Sigma\）-幺半群：具有元变量的高阶语法。 （英语） Zbl 1116.68394号 Chin，Wei-Ngan（编辑），《编程语言和系统》。第二届亚洲研讨会，2004年APLAS，台湾台北，2004年11月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23724-0/pbk）。计算机科学课堂讲稿3302348-363（2004）。 摘要：Fiore、Plotkin和Turi提出了（Sigma）-幺半群的概念，给出了具有变量绑定和替换的语言的抽象代数模型。本文给出了（Sigma）-幺半群的一个自由构造。给定前缀上的自由（Sigma）-幺半群是一种结构良好的术语语言，涉及绑定和替换。此外，自由（Sigma）-幺半群自然包含有趣的语法对象，这些语法对象可以被视为“元变量”和“环境”。我们通过将自由（Sigma）-幺半群的术语语言与几个具体系统联系起来，特别是与上下文扩展的（lambda）-演算，来分析它。关于整个系列，请参见[Zbl 1063.68002号]. 引用于10文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68甲15 编程语言理论 PDF格式BibTeX公司 XML格式引用 \textit{M.Hamana}，莱克特。注释计算。科学。3302348-363（2004年；Zbl 1116.68394） 全文： DOI程序