A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
We i n troduce Context-sensitive Conditional Expression Reduction Systems (CERS) by extending and generalizing the notion of conditional TRS to the higher order case. We justify our framework in two w ays. First, we de ne orthogonality for CERSs and show that the usual results for orthogonal systems ( niteness of developments, con uence, permutation equivalence) carry over immediately. This can be used e.g. to infer con uence from the subject reduction property in several typed -calculidoi:10.1016/s1571-0661(05)80193-8 fatcat:5bt2jnz4frdjfbiuqfzb6gz2ea