ResearchIndex Home J. R. Hindley. The Church-Rosser Property and a Result in Combinatory Logic . The Church-Rosser property and a result in combinatory logic .
L is con uent on terms containing only term variables.
Since the L and rewrite systems share the application operator , we cannot apply Toyama s modularity result. The Church-Rosser Property and a Result in Combinatory Logic . The reflexive closure of i is denoted by j i , its transitive reflexive closure by i . We shall use this strengthened version of the Lemma of Hindley Rosen in the proposition below. How to complete pca s with unique hnf s 5 Proposition 2.2.