Roel C. de Vrijer

	2009
19		Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann: Local Termination. RTA 2009: 270-284
	2008
18		Jörg Endrullis, Roel C. de Vrijer: Reduction Under Substitution. RTA 2008: 425-440
17		Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer: Proving Infinitary Normalization. TYPES 2008: 64-82
16		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		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		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

Coauthor Index

1	Inge Bethke	[7] [8] [10]
2	Mirna Bognar	[11]
3	Jörg Endrullis	[17] [18] [19]
4	Clemens Grabmayer	[17]
5	Dimitri Hendriks	[17]
6	Jan Willem Klop	[3] [5] [6] [7] [8] [9] [10] [13] [15] [16] [17]
7	Aart Middeldorp	[6] [14]
8	Vincent van Oostrom	[9] [12] [14] [15] [16]
9	Femke van Raamsdonk	[14]
10	Yoshihito Toyama	[6]
11	Johannes Waldmann	[19]

Colors in the list of coauthors