Categorical Term Rewriting: Monads and Modularity (1998)

Cached

Download Links

by Christoph Lüth
Venue:University of Edinburgh
Citations:11 - 6 self

Documents Related by Co-Citation

20 Monads and Modular Term Rewriting – Christoph Lüth, Neil Ghani - 1997
45 A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so – G M Kelly
196 Locally Presentable and Accessible Categories – Adámek, Rosicky - 1994
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
455 Comprehending Monads – Philip Wadler - 1992
163 An abstract view of programming languages – E Moggi - 1989
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
20 Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms – D E Rydeheard, J G Stell - 1987
58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
7 Monads and Modularity – Christoph Lüth, Neil Ghani
16 Algebraic theories,” Graduate Texts – E G Manes - 1976
42 Toposes, Triples, and Theories. Grundlehren der mathematischen Wissenschaften – Michael Barr, Charles F Wells - 1985
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
73 On the Church-Rosser property for the direct sum of term rewriting systems – Yoshihito Toyama - 1987
24 Algebraic theories, volume 26 of Graduate Texts in Mathematics – E G Manes - 1976
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
5 Modular church-rosser modulo – J-P Jouannaud
9 Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem – Christoph Lüth - 1996