Monads and Modular Term Rewriting (1997)

by Christoph Lüth , Neil Ghani
Citations:20 - 13 self

Documents Related by Co-Citation

58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
19 A presentation of topoi as algebraic relative to categories or graphs – E J Dubuc, G M Kelly - 1983
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
23 Locally presentable and accessible categories. Number 189 – J Adamek, J Rosicky - 1994
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
196 Locally Presentable and Accessible Categories – Adámek, Rosicky - 1994
12 Categorical Term Rewriting: Monads and Modularity – Christoph Lüth - 1998
45 A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so – G M Kelly
20 Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms – D E Rydeheard, J G Stell - 1987
43 Elementary observations on 2-categorical limits – G M Kelly - 1989
19 Free iterative theories: a coalgebraic view – J Adámek, S Milius, J Velebil
7 Monads and Modularity – Christoph Lüth, Neil Ghani
163 An abstract view of programming languages – E Moggi - 1989
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
42 Toposes, Triples, and Theories. Grundlehren der mathematischen Wissenschaften – Michael Barr, Charles F Wells - 1985
9 Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem – Christoph Lüth - 1996
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997