Categorical Term Rewriting: Monads and Modularity (1998)

Cached

Download Links

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

Active Bibliography

20 Monads and Modular Term Rewriting – Christoph Lüth, Neil Ghani - 1997
9 Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem – Christoph Lüth - 1996
Monads and Modular Term Rewriting – Christoph Luth And, Christoph Luth, Neil Ghani - 1997
3 Adjoint Rewriting and the !-type constructor – Neil Ghani - 1996
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
5 Representations, Hierarchies, and Graphs of Institutions – Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov - 1996
2 Sketches: Outline with References – Charles Wells - 1994
Generalised Sketches as an algebraic graph-based framework for semantic modeling and database design – Zinovy Diskin, Zinovy Diskin - 1997
6 Algebras, Coalgebras, Monads and Comonads – Neil Ghani, Christoph Lüth, Federico De Marchi, John Power - 2001
25 Adjoint Rewriting – Neil Ghani - 1995
31 Research Directions in Rewriting Logic – José Meseguer - 1998
11 On Termination and Confluence Properties of Disjoint and Constructor-Sharing Conditional Rewrite Systems – Bernhard Gramlich - 1996
6 On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems – Bernhard Gramlich - 1994
1 An SOS Message: Conservative Extension in Higher-Order Positive/Negative Conditional Term Rewriting – Wan Fokkink, Chris Verhoef - 1997
26 Unravelings and Ultra-properties – Massimo Marchiori - 1996
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms – Catherine Oriat - 1996