Christoph Lüth  Home/Search
Context
Related
| lfcs.inf.ed.ac.uk/...LFCS98396.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lfcs.inf.ed.ac.uk/reports...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Term rewriting systems are widely used throughout computer science as they provide an abstract model of computation while retaining a comparatively simple syntax and semantics. In order to reason within large term rewriting systems, structuring operations are used to build large term rewriting systems from smaller ones. Of particular interest is whether key properties are modular, that is, if the components of a structured term rewriting system satisfy a property, then does the term rewriting... (Update)
Active bibliography (related documents): More All
1.1: Monads and Modular Term Rewriting - Lüth, Ghani (1997) (Correct)
0.8: Adjoint Rewriting - Ghani (Correct)
0.7: Coalgebraic Monads - Ghani, Lüth, De Marchi (2002) (Correct)
Similar documents based on text: More All
0.1: Monads and Modularity - Lüth, Ghani (Correct)
0.1: Algebras, Coalgebras, Monads and Comonads - Ghani, Lüth, de Marchi, Power (2001) (Correct)
0.1: Dualizing Initial Algebras - Ghani, Lüth, de Marchi, Power (2002) (Correct)
BibTeX entry: (Update)
@misc{ th-categorical,
author = "Christoph Lüth",
title = "Categorical Term Rewriting: Monads and Modularity",
url = "citeseer.ist.psu.edu/696778.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannaud - 1990
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
474 Term rewriting systems - Klop - 1992
384 Simple word problems in universal algebra (context) - Knuth, Bendix - 1970
359 Introduction to Higher Order Categorical Logic (context) - Lambek, Scott - 1986
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992
291 Computational lambda-calculus and monads - Moggi - 1989
234 Institutions: Abstract model theory for specification and pr.. (context) - Goguen, Burstall - 1992
198 Toward formal development of programs from algebraic specifi.. - Sannella, Soko et al. - 1992
177 Fundamentals of Algebraic Specification 1: Equations and Ini.. (context) - Ehrig, Mahr - 1985
156 Basic Concepts of Enriched Category Theory (context) - Kelly - 1982
116 Ideas and results in proof theory (context) - Prawitz - 1971
99 volume 5 of Graduate Texts in Mathematics (context) - Lane, the et al. - 1971
83 Counterexamples to termination for the direct sum of term re.. (context) - Toyama - 1987
80 Review of the elements of 2-categories (context) - Kelly, Street - 1972
79 the Church-Rosser property for the direct sum of term rewrit.. (context) - Toyama - 1987
73 Modularity of simple termination of term rewriting systems w.. (context) - Kurihara, Ohuchi - 1992
71 Conditional rewrite rules: Confluence and termination (context) - Bergstra, Klop - 1986
67 Towards a mathematical operational semantics - Turi, Plotkin - 1997
67 Specifications in an arbitrary institution (context) - Sannella, Tarlecki - 1988
63 Modular Properties of Term Rewriting Systems (context) - Middeldorp - 1990
61 Technical Report ECS-LFCS (context) - Milner - 1992
59 the termination of the direct sum of term-rewriting systems (context) - Rusinowitch - 1987
57 On observational equivalence and algebraic specification (context) - Sannella, Tarlecki - 1987
54 Tree-manipulating systems and Church-Rosser theorems (context) - Rosen - 1973
51 A kernel language for algebraic specification and implementa.. (context) - Sannella, Wirsing - 1983
50 Generalized sufficient conditions for modular termination of.. - Gramlich - 1992
46 Journal for Functional Programming (context) - Jay, Ghani et al. - 1995
41 the modularity of termination of term rewriting systems - Ohlebusch - 1994
38 A sufficient condition for the termination of the direct sum.. (context) - Middeldorp - 1989
36 Formal Category Theory: Adjointness for 2-Categories (context) - Gray - 1974
35 a specification language (context) - Burstall, Goguen et al. - 1980
31 The formal theory of monads (context) - Street - 1972
31 Categories of continuous functors (context) - Freyd, Kelly - 1972
30 Lokal prasentierbare Kategorien (context) - Gabriel, Ulmer - 1971
30 Fundamentals of Algebraic Specification 2: Module Specificat.. (context) - Ehrig, Mahr - 1990
29 and closed categories (context) - Lawvere, generalized - 1973
28 Adjunctions whose counits are coequalizers (context) - Kelly, Power - 1993
28 Foundations of equational deduction: A categorical treatment.. (context) - Rydeheard, Stell - 1987
28 Eta-expansions in dependent type theory--- the calculus of c.. - Ghani - 1997
26 volume 26 of Graduate Texts in Mathematics (context) - Manes - 1976
23 Elementary observations on 2-categorical limits (context) - Kelly - 1989
21 Programming Research Group (context) - Goguen, manifesto et al. - 1989
21 An abstract formulation for rewrite systems (context) - Power - 1989
21 Structured theories in LCF (context) - Sannella, Burstall - 1983
20 fij-equality for coproducts (context) - Ghani - 1995
18 Termination for the direct sums of left-linear complete term.. (context) - Toyama, Klop et al. - 1995
17 Relating two categorical models of term rewriting - Corradini, Gadducci et al. - 1995
17 Modelling computations: A 2-categorical framework (context) - Seely - 1987
16 University of Edinburgh (context) - Ghani, PhD - 1995
15 Modelling term rewriting systems by Sesqui-categories (context) - Stell - 1994
15 Harper and Row (context) - Cohn - 1965
14 the foundations of final co-algebra semantics: nonwell -foun.. - Turi, Rutten - 1998
14 Variations on algebra: monadicity and generalisations of equ.. - Robinson - 1994
13 Structures defined by finite limits in the enriched context (context) - Kelly - 1982
13 Data refinement in a categorical setting (context) - Hoare, He - 1988
12 Modelling reductions in confluent categories (context) - Jay - 1990
12 Limits indexed by category-valued 2-functors (context) - Street - 1976
12 Number 278 in Grundlehren der mathematischen Wissenschaften (context) - Barr, Wells et al. - 1985
11 Handbook of Categorical Algebra 2: Categories and Structures (context) - Borceux - 1994
10 Monads and modular term rewriting (context) - Luth, Ghani - 1997
10 A kernel specification formalism with higherorder parameteri.. - Sannella, Tarlecki - 1991
10 A presentation of topoi as algebraic relative to categories .. (context) - Dubuc, Kelly - 1983
10 A unified treatment of transfinite constructions for free al.. (context) - Kelly - 1980
9 Modularity of completeness revisited - Marchiori - 1995
8 Towards a proof theory of rewriting: the simply typed 2-calc.. (context) - Hilken - 1996
6 Categorical Aspects of Unification and Rewriting (context) - Stell - 1992
6 Some aspects of equational categories (context) - Linton - 1965
6 Universitat Bremen (context) - Kahrs, thesis - 1991
6 categorical pasting theorem (context) - Power - 1990
6 Ecole Normale Sup'erieure (context) - Ghani, system et al. - 1996
5 Coequalizers in categories of algebras (context) - Linton - 1969
5 Categorical aspects of data type constructors (context) - Gray - 1987
5 The category of sketches as a model for algebraic semantics (context) - Gray - 1989
4 A note on termination in combinations of heterogeneous term .. (context) - Ganzinger, Giegerich - 1987
4 Mathematical Structures in Computer Science (context) - Carboni, Johnstone et al. - 1995
4 A simplified proof of Toyama's theorem (context) - Klop, Middeldorp et al. - 1994
4 Order-enriched sketches for typed lambda calculi (context) - Gray - 1990
4 An algebraic formulation for data refinement (context) - Power - 1989
3 Compositional term rewriting: An algebraic proof of Toyama's.. - Luth - 1996
3 Confluence for Abstract and Higher-Order Rewriting (context) - Oostrom - 1994
3 A stability theorem in rewriting theory (context) - Mellies - 1998
2 Number 189 in London Mathematical Society Lecture Note Serie.. (context) - Adamek, Rosick'y et al. - 1994
2 ebres graphiques. Cahiers de Topologie et G (context) - Burroni - 1981
1 A factorisation theorem in rewriting theory (context) - Mellies - 1997
1 category approach to critical pair completion (context) - Reichel - 1991
1 categorical formulation critical paircompletion procedure (context) - formulation, pair et al. - 1992
1 Linear term rewriting systems are higher dimensional string .. - Johnson - 1991
1 The integration of logical and algebraic types (context) - Gray - 1989
1 Hyperdoctrines and Natural Deduction (context) - Seely - 1977
1 volume 108 of London Mathematical Society Lecture Note Serie.. (context) - Yap, in - 1986
1 Bulletin of the Calcutta Mathematical Society (context) - Levi - 1944
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC