Zeitraum
2007 - 2007
Anzahl
1
Co-Autoren
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...