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...
. We survey the basic concepts and properties of transfinite rewriting for orthogonal term rewrite systems, lambda calculus, higher-order rewrite systems, and abstract rewrite systems. 1 Introduction...
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...
A Framework for Non-Manual Gestures in a Synthetic Signing System (2004)
According to the RNID, 1 in 7 people in the UK have severe hearing loss. Among these, a much smaller number, around 1 in 1000, have been deaf from birth or have never understood speech. For these...
A simple and robust hierarchical control system for a walking robot (2004)
The present work applies a control architecture proposed by W.T. Powers [3, 4], to several problems in robotics, and suggests that it may have wide practical applicability. The architecture is called...
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.
Formal semantics of nondeterminism and parallelism. (1981)
Thesis (Ph. D.)--University of Oxford, 1981.