Finitary construction of free algebras for equational systems (2008)

by Marcelo Fiore , Chung-kil Hur
Citations:1 - 0 self

Documents Related by Co-Citation

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
4 Universal algebra for termination of higher-order rewriting – Makoto Hamana - 2005
8 Term rewriting with variable binding: An initial algebra approach – M Hamana - 2003
2 Free Σ-monoids: A higher-order syntax with metavariables – M Hamana - 2005
7 Second-order and dependently-sorted abstract syntax – M Fiore - 2008
39 Elementary Observations on 2-Categorical Limits – G M Kelly - 1989
119 Higher-order critical pairs – T Nipkow - 1991
237 Combinatory Reduction Systems – Jan-Willem Klop - 1980
12 Nominal Rewriting Systems – Maribel Fernández, Murdoch J Gabbay, Ian Mackie - 2004
52 Rewriting Logic: Roadmap and Bibliography – Narciso Martí-Oliet, José Meseguer - 2001
152 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
316 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
38 Automata and Algebras in Categories – J Ad'amek, V Trnkov'a - 1991
5 C.: Rewriting via coinserters – N Ghani, Lüth - 2003
26 Free algebras and automata realization in the language of categories – J Adámek - 1974
23 Nominal equational logic – R A CLOUSTON, A M PITTS - 2007
12 A formal calculus for informal equality with binding – Murdoch J. Gabbay, Aad Mathijssen - 2007