`Travelled to:`

1 × Italy

1 × USA

2 × Denmark

3 × Germany

`Collaborated with:`

M.R.Sleep ∅ F.d.Vries J.W.Klop C.A.R.Hoare Z.Khasidashvili A.Piperno V.v.Oostrom J.R.W.Glauert

`Talks about:`

rewrit (5) term (3) system (2) reduct (2) graph (2) nondetermin (1) meaningless (1) hyperbalanc (1) transfinit (1) infinitari (1)

## Person: Richard Kennaway

### DBLP: Kennaway:Richard

### Contributed to:

### Wrote 9 papers:

- RTA-2002-KennawayKP #composition #static analysis #λ-calculus
- Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus (RK, ZK, AP), pp. 51–65.
- ALP-1996-KennawayOV #term rewriting
- Meaningless Terms in Rewriting (RK, VvO, FJdV), pp. 254–268.
- RTA-1995-KennawayKSV #modelling #λ-calculus
- Infinitary λ Calculi and Böhm Models (RK, JWK, MRS, FJdV), pp. 257–270.
- RTA-1991-KennawayKSV #orthogonal #reduction #term rewriting
- Transfinite Reductions in Orthogonal Term Rewriting Systems (RK, JWK, MRS, FJdV), pp. 1–12.
- ESOP-1990-Kennaway #ambiguity #lazy evaluation #pattern matching #term rewriting
- The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems (RK), pp. 256–270.
- GG-1990-GlauertKS #graph grammar #named
- Dactl: An Experimental Graph Rewriting Language (JRWG, RK, MRS), pp. 378–395.
- GG-1990-Kennaway #category theory #graph grammar #morphism
- Graph Rewriting in Some Categories of Partial Morphisms (RK), pp. 490–504.
- LFP-1982-KennawayS #process
- Expressions as Processes (RK, MRS), pp. 21–28.
- ICALP-1980-KennawayH #formal method #nondeterminism
- A Theory of Nondeterminism (RK, CARH), pp. 338–350.