Documents Related by Co-Citation

20 Monads and Modular Term Rewriting – Christoph Lüth, Neil Ghani - 1997
196 Locally Presentable and Accessible Categories – Adámek, Rosicky - 1994
19 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
12 Categorical Term Rewriting: Monads and Modularity – Christoph Lüth - 1998
16 Algebraic theories,” Graduate Texts – E G Manes - 1976
42 Toposes, Triples, and Theories. Grundlehren der mathematischen Wissenschaften – Michael Barr, Charles F Wells - 1985
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
163 An abstract view of programming languages – E Moggi - 1989
45 A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so – G M Kelly
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
73 On the Chuch-Rosser property for the direct sum of term rewriting systems – Yoshihito Toyama - 1987
7 Coalgebraic Monads – Neil Ghani, Christoph Lüth, Federico De Marchi - 2002
11 Dualising initial algebras – N Ghani, C Lüth, F De Marchi, A J Power
19 Free iterative theories: a coalgebraic view – J Adámek, S Milius, J Velebil
41 Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science – Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil - 2003
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