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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Fiore, M., & Hur, C. K. (2007). Equational systems and free constructions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4596 LNCS, pp. 607–618). Springer Verlag. https://doi.org/10.1007/978-3-540-73420-8_53
Mendeley helps you to discover research relevant for your work.