Klop Sleep And

J.R. Kennaway (2007)

Klop Sleep And, J. R. Kennaway, J. W. Klop

In a previous paper we have established the theory of transfinite reduction for orthogonal term rewriting systems. In this paper we perform the same task for the lambda calculus. From the viewpoint...