Zeitraum
2007 - 2007
Anzahl
1
Co-Autoren
From Finite to Infinite Lambda Calculi (2007)
Cu Li, Richard Kennaway
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. This results in...