On the construction of free algebras for equational systems (2009)

by Marcelo Fiore , Chung-Kil Hur
Venue:IN: SPECIAL ISSUE FOR AUTOMATA, LANGUAGES AND PROGRAMMING (ICALP 2007). VOLUME 410 OF THEORETICAL COMPUTER SCIENCE
Citations:5 - 4 self

Documents Related by Co-Citation

8 Second-order and dependently-sorted abstract syntax – M Fiore - 2008
9 Term equational systems and logics – Marcelo Fiore, Chung-Kil Hur
60 Completeness of many-sorted equational logic – J A Goguen
27 Nominal equational logic – R Clouston, A Pitts
13 A formal calculus for informal equality with binding – Murdoch J. Gabbay, Aad Mathijssen - 2007
249 Combinatory Reduction Systems – J W Klop - 1980
58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
4 Categorical Equational Systems: Algebraic Models and Equational Reasoning – Chung-kil Hur - 2010
8 Term rewriting with variable binding: An initial algebra approach – M Hamana - 2003
166 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
4 An algebraic framework for logics and type theories, Talk given at LFMTP’06 – G Plotkin - 2006
3 Functorial Semantics of algebraic theories, Reprints in Theory and Applications of Categories – F W Lawvere - 2005
177 On the structure of abstract algebras – Garrett Birkhoff - 1935
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
140 Handbook of Categorical Algebra – F Borceux - 1994
1 Soliveres Tur, The completeness theorem for monads in categories of sorted sets – Climent Vidal, J B, J C
7 Equational systems and free constructions – M P Fiore, C-K Hur - 2007
5 A note on actions of a monoidal category. Theory and Applications of Categories – G Janelidze, M Kelly - 2001
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001