NTT Basic Research Laboratories
Information Science Laboratory
Information Processing Principles Research Group
Room A4S-220S
3-1 Wakamiya Morinosato
Atsugi-shi
243-01 Kanagawa-ken
Japan
meel: oostrom@theory.ntt.jp
foon: +81 462 40 3678
faks: +81 462 40 4709
Change of Address
I will be on holiday from the beginning of
April until mid June.
After that I will be employed at:
Vrije Universiteit
Faculteit Wiskunde en Informatica
De Boelelaan 1081a
1081 HV Amsterdam
The Netherlands
email: oostrom@cs.vu.nl
NTT
-
Weak Orthogonality Implies Confluence: the Higher-Order Case,
Technical Report: ISRL-94-5,
December,
1994
(Full version of LFCS'94 paper, LNCS 813).
-
An Easy Expansion Exercise,
December,
1994.
-
Developing Developments,
Technical Report: ISRL-94-4,
December,
1994 (Extended Abstract, in colour).
-
Developing Developments, Draft,
September,
1994
(Full preliminary version of ISRL-94-4).
VU, Amsterdam
-
Confluence for Abstract and Higher-Order Rewriting,
PhD Thesis, March, 1994
(Vrije Universiteit, Amsterdam).
-
Comparing Combinatory Reduction Systems
and
Higher-order Rewrite Systems,
December,
1993
(HOA'93 paper, LNCS 816).
-
Lambda Calculus with Patterns,
Rapportnr. IR-228,
November,
1990