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
2 Free Σ-monoids: A higher-order syntax with metavariables – M Hamana - 2005
5 C.: Rewriting via coinserters – N Ghani, Lüth - 2003
43 Elementary observations on 2-categorical limits – G M Kelly - 1989
8 Second-order and dependently-sorted abstract syntax – M Fiore - 2008
5 Universal algebra for termination of higher-order rewriting – Makoto Hamana - 2005
8 Term rewriting with variable binding: An initial algebra approach – M Hamana - 2003
43 V.: Automata and algebras in categories – J Adámek, Trnková - 1990
27 Nominal equational logic – R Clouston, A Pitts
12 Nominal rewriting systems – M Fernández, M Gabbay, I Mackie - 2004
13 A formal calculus for informal equality with binding – Murdoch J. Gabbay, Aad Mathijssen - 2007
31 Free algebras and automata realizations in the language of categories – J Adámek - 1974
168 Functorial semantics of algebraic theories – F W Lawvere - 1963
379 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
125 Higher-order critical pairs – T Nipkow - 1991
58 Rewriting Logic: Roadmap and Bibliography – Narciso Martí-Oliet, José Meseguer - 2001
245 Combinatory Reduction Systems – J W Klop - 1980