高阶理论
摘要：通过模块和线性，我们扩展了我们对抽象语法（带有绑定结构）的方法。首先，我们提供了一种新的普遍性定义，得到了签名的伴随概念。然后，我们根据Ghani和Uustalu（2003）的要求获得了一个模块化结果：在我们的设置中，合并两个语法扩展相当于构建一个合并和。最后，我们定义了一种关于签名的自然等式概念，并证明了配备一组等式的可表示签名存在一个初等语义。
作者：Andre' Hirschowitz and Marco Maggesi
论文ID：0704.2900
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-09-09