Finitary construction of free algebras for equational systems (2008)

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

Documents Related by Co-Citation

393 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
261 Combinatory Reduction Systems – J W Klop - 1980
185 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
132 Higher-order critical pairs – T Nipkow - 1991
70 Rewriting Logic: Roadmap and Bibliography – Narciso Martí-Oliet, José Meseguer - 2001
55 Automata and Algebras in Categories – J Adámek, V Trnková - 1990
46 Elementary observations on 2-categorical limits – G M Kelly - 1989
41 algebras and automata realizations in the language of categories – Free J Adámek - 1974
30 Nominal equational logic – Ranald A Clouston, Andrew M Pitts
13 A formal calculus for informal equality with binding – Murdoch J. Gabbay, Aad Mathijssen - 2007