Documents Related by Co-Citation

20 Monads and Modular Term Rewriting – Christoph Lüth, Neil Ghani - 1997
173 Jirí Rosicky, Locally Presentable and Accessible Categories – Jirí Adamek - 1994
18 Combining Computational Effects: Commutativity and Sum – Martin Hyland, Gordon Plotkin, John Power - 2002
12 Categorical Term Rewriting: Monads and Modularity – Christoph Lüth - 1998
14 Algebraic theories, Graduate Texts – E G Manes - 1976
40 Toposes, triples and theories. Grundlehren der Mathematischen Wissenschaften, 278 – M Barr, C Wells - 1985
26 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
154 An abstract view of programming languages – Eugenio Moggi - 1990
401 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
130 Abstract Syntax and Variable Binding – Marcelo Fiore - 1999
39 A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so – G M Kelly - 1980
64 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
70 On the Church-Rosser property for the direct sum of term rewriting systems – Yoshihito Toyama - 1987
10 Dualising initial algebras – N Ghani, C Luth, F de Marchi, J Power
7 Coalgebraic Monads – Neil Ghani, Christoph Lüth, Federico De Marchi - 2002
17 Free iterative theories: A coalgebraic view – J Adámek, S Milius, J Velebil
36 Infinite trees and completely iterative theories: A coalgebraic view, Theoret – P Aczel, J Adámek, S Milius, J Velebil
20 Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms – D E Rydeheard, J G Stell - 1987
159 The Category-theoretic Solution of Recursive Domain Equations – M Smyth, G D Plotkin - 1982