Monads and Modular Term Rewriting (1997)

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

Documents Related by Co-Citation

63 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads – G M Kelly, A J Power - 1993
150 Abstract syntax and variable binding – M Fiore, G Plotkin, D Turi - 1999
19 A presentation of topoi as algebraic relative to categories or graphs – E J Dubuc, G M Kelly - 1983
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
26 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
225 Locally presentable and accessible categories – J Adámek, J Rosický - 1994
24 Locally Presentable and Accessible Categories. Number 189 – J Adámek, J Rosický - 1994
578 Term Rewriting Systems – J. W. Klop - 1992
393 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005