- Calculus ($rho$-calculus, lambda calculus with patterns)
- rho calculus home page: http://rho.loria.fr/
- Confluence of Pattern-Based Calculi. Horatiu Cirstea and Germain Faure. http://www.loria.fr/~cirstea/Papers/rta2007.pdf
- On Constructor Rewrite Systems and the Lambda-Calculus. Ugo Dal Lago. Simone Martini http://www.cs.unibo.it/~martini/TALKS/icalp2009.pdf
- The graph rewriting calculus: confluence and expressiveness (Clara Bertolissi)
- Equational logic
- cogerence
- Coherence for rewriting 2-theories
- Initial Algebras
- Specifying Data Objects with Initial Algebras (Chris Person)
- Evaluation strategies (Call by need, etc)
- Philip Wadler publications http://homepages.inf.ed.ac.uk/wadler/topics/call-by-need.html
- Fokkink, Wan and Kamperman, Jasper and Walters, Pum. Lazy rewriting on eager machinery. http://portal.acm.org/citation.cfm?id=345102&dl=GUIDE&coll=GUIDE&CFID=78031996&CFTOKEN=61286933#
- Systemw with rule priorities
- Semantics and strong sequentiality of priority term rewriting systems
- Term rewriting systems with sort priorities
- J. C. M. Baeten1, J. A. Bergstra1, 2 and J. W. Klop3, 4. Term rewriting systems with priorities.
- J. C. M. Baeten1, J. A. Bergstra1, 2 and J. W. Klop3, 4. Term rewriting systems with rule priorities.
- Semantics and Strong Sequentiality of Priority Term Rewriting Systems (1996): http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.2732
- Operational Semantics of Term Rewriting with Priorities (1996) http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.1517
- Semantics and expressiveness of ordered SOS (2007) http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.6726
- Simular systems
- Maude
- Stratego
- Misc implentation issues
on 16/08/2010 at 17:26
