Paul-Andre Mellies  Home/Search
Context
Related
| pps.jussieu.fr/~melli...residuals.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: pps.jussieu.fr/~mellies/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Residual theory is the algebraic theory of conuence for the -calculus, and more generally conict-free rewriting systems (=without critical pairs). The theory took its modern shape in Levy's PhD thesis, after Church, Rosser and Curry's seminal steps. (Update)
Active bibliography (related documents): More All
0.1: The Hurwitz Action and Braid Group Orderings - Funk (2001) (Correct)
0.1: Course notes on Braids - van Oostrom (Correct)
0.1: Dynamical Zeta Functions for Tree Maps - Baillif (1998) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: Double Categories: a modular model of multiplicative linear logic - Mellies (Correct)
0.3: Axiomatic Rewriting Theory IV - A stability theorem in Rewriting.. - Melliès (1998) (Correct)
0.3: On Double Categories and Multiplicative Linear Logic - Melliès (1999) (Correct)
BibTeX entry: (Update)
@misc{ mellies-axiomatic,
author = "Paul-Andre Mellies",
title = "Axiomatic Rewriting Theory VI - Residual Theory Revisited",
url = "citeseer.ist.psu.edu/724576.html" }
Citations (may not include all citations):729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1985
137 Journal of Functional Programming (context) - Abadi, Cardelli et al. - 1991
67 Computational semantics of term rewriting systems (context) - Boudol - 1985
41 Interaction Systems I: the theory of optimal reductions - Asperti, Laneve - 1995
23 An abstract framework for environment machines (context) - Curien - 1991
11 A new approach to the word problem in the braid groups (context) - Birman, Ko et al. - 1998
6 Annals of Mathematics (context) - Artin, braids - 1947
1 Diagram Techniques for Con uence (context) - Bezem, van Oostrom et al. - 1998
Documents on the same site (http://www.pps.jussieu.fr/~mellies/papers.html): More
Semantic Types: A Fresh Look at the Ideal Model for Types - Vouillon, Mellies, Diderot (2004) (Correct)
Double Categories: a modular model of multiplicative linear logic - Mellies (Correct)
Asynchronous Games 2 - The true concurrency of innocence - Mellies (2004) (Correct)
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