| 2008 |
|---|
| 17 | EE | Jörg Endrullis,
Roel C. de Vrijer:
Reduction Under Substitution.
RTA 2008: 425-440 |
| 16 | EE | Jan Willem Klop,
Vincent van Oostrom,
Roel C. de Vrijer:
Lambda calculus with patterns.
Theor. Comput. Sci. 398(1-3): 16-31 (2008) |
| 2006 |
|---|
| 15 | EE | Jan Willem Klop,
Vincent van Oostrom,
Roel C. de Vrijer:
Iterative Lexicographic Path Orders.
Essays Dedicated to Joseph A. Goguen 2006: 541-554 |
| 2005 |
|---|
| 14 | | Aart Middeldorp,
Vincent van Oostrom,
Femke van Raamsdonk,
Roel C. de Vrijer:
Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday
Springer 2005 |
| 13 | | Jan Willem Klop,
Roel C. de Vrijer:
Infinitary Normalization.
We Will Show Them! (2) 2005: 169-192 |
| 2002 |
|---|
| 12 | EE | Vincent van Oostrom,
Roel C. de Vrijer:
Four equivalent equivalences of reductions.
Electr. Notes Theor. Comput. Sci. 70(6): (2002) |
| 2001 |
|---|
| 11 | | Mirna Bognar,
Roel C. de Vrijer:
A Calculus of Lambda Calculus Contexts.
J. Autom. Reasoning 27(1): 29-59 (2001) |
| 2000 |
|---|
| 10 | | Inge Bethke,
Jan Willem Klop,
Roel C. de Vrijer:
Descendants and Origins in Term Rewriting.
Inf. Comput. 159(1-2): 59-124 (2000) |
| 9 | | Jan Willem Klop,
Vincent van Oostrom,
Roel C. de Vrijer:
A geometric proof of confluence by decreasing diagrams.
J. Log. Comput. 10(3): 437-460 (2000) |
| 1999 |
|---|
| 8 | | Inge Bethke,
Jan Willem Klop,
Roel C. de Vrijer:
Extending partial combinatory algebras.
Mathematical Structures in Computer Science 9(4): 483-505 (1999) |
| 1996 |
|---|
| 7 | | Inge Bethke,
Jan Willem Klop,
Roel C. de Vrijer:
Completing Partial Combinatory Algebras With Unique Head-Normal Forms.
LICS 1996: 448-454 |
| 1994 |
|---|
| 6 | | Jan Willem Klop,
Aart Middeldorp,
Yoshihito Toyama,
Roel C. de Vrijer:
Modularity of Confluence: A Simplified Proof.
Inf. Process. Lett. 49(2): 101-109 (1994) |
| 1990 |
|---|
| 5 | | Jan Willem Klop,
Roel C. de Vrijer:
Extended Term Rewriting Systems.
CTRS 1990: 26-50 |
| 1989 |
|---|
| 4 | | Roel C. de Vrijer:
Extending the Lambda Calculus with Surjective Pairing is Conservative
LICS 1989: 204-215 |
| 3 | | Jan Willem Klop,
Roel C. de Vrijer:
Unique Normal Forms for Lambda Calculus with Surjective Pairing
Inf. Comput. 80(2): 97-113 (1989) |
| 1985 |
|---|
| 2 | | Roel C. de Vrijer:
A Direct Proof of the Finite Developments Theorem.
J. Symb. Log. 50(2): 339-343 (1985) |
| 1975 |
|---|
| 1 | | Roel C. de Vrijer:
Big trees in a lambda - calculus with lambda - expressions as types.
Lambda-Calculus and Computer Science Theory 1975: 252-271 |
