Infinitary Lambda Calculus (2007)
Infinitary Lambda Calculus, R. Kennaway, J. W. Klop, R. Sleep, Issn -x, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Stable results and relative normalization (2000)
Glauert, J, Kennaway, R, Khasidashvili, Z
In orthogonal expression reduction systems, a common generalization of term rewriting and &lgr;-calculus, we extend the concepts of normalization and needed reduction by considering, instead of the...
Meaningless terms in rewriting (1999)
Kennaway, R., Oostrom, V. Van, Vries, F.-J. De
We present an axiomatic approach to the concept of meaninglessness in finite and transfinite term rewriting and lambda calculus. We justify our axioms in several ways. They can be intuitively...