Equational systems and free constructions
Equational systems and free constructions
复制标题
方程组和自由构造
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
C. Hur
中科院分区：
文献类型：
--
作者：
M. Fiore;C. Hur
本文的目的有三个：提出方程系统的一般抽象但实用的概念；研究和发展此类方程系统的自由构造理论；并说明现代应用中所需的方程系统的使用，特别是存在变量绑定的替换理论和名称传递过程演算模型。
The purpose of this paper is threefold: to present a general abstract, yet practical, notion of equational system; to investigate and develop a theory of free constructions for such equational systems; and to illustrate the use of equational systems as needed in modern applications, specifically to the theory of substitution in the presence of variable binding and to models of name-passing process calculi.