Simulating Term Rewriting (2007)
J. R. Kennaway, J. W. Klop, M. R. Sleep
ABSTRACT Several authors have investigated the correspondence between graph rewriting and term rewriting. Almost invariably they have considered only acyclic graphs. Yet cyclic graphs naturally arise...
Infinitary Lambda Calculus (1996)
J.R. Kennaway, J. W. Klop, M.R. Sleep
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...
On the Adequacy of Graph Rewriting for Simulating Term Rewriting (1994)
J.R. Kennaway, J. W. Klop, M.R. Sleep, F.J. Vries
Several authors have investigated the correspondence between graph rewriting and term rewriting. Almost invariably they have considered only acyclic graphs. Yet cyclic graphs naturally arise from...
LEAN: An intermediate language based on graph rewriting (1989)
Sleep, M.R., Plasmeijer, M.J., Kennaway, J.R., Glauert, J.R.W., Barendregt, H.P.