Roel C. de Vrijer

Publication Activity (10 Years)

Years Active: 1975-2010
Publications (10 Years): 0

Publications

Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann
Local Termination: theory and practice Log. Methods Comput. Sci. 6 (3) (2010)
Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann
Local Termination. RTA (2009)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer
Proving Infinitary Normalization. TYPES (2008)
Jörg Endrullis, Roel C. de Vrijer
Reduction Under Substitution. RTA (2008)
Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
Lambda calculus with patterns. Theor. Comput. Sci. 398 (1-3) (2008)
Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
Iterative Lexicographic Path Orders. Essays Dedicated to Joseph A. Goguen (2006)
Jan Willem Klop, Roel C. de Vrijer
Infinitary Normalization. We Will Show Them! (2) (2005)
Vincent van Oostrom, Roel C. de Vrijer
Four equivalent equivalences of reductions. Electron. Notes Theor. Comput. Sci. 70 (6) (2002)
Mirna Bognar, Roel C. de Vrijer
A Calculus of Lambda Calculus Contexts. J. Autom. Reason. 27 (1) (2001)
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
Descendants and Origins in Term Rewriting. Inf. Comput. 159 (1-2) (2000)
Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
A geometric proof of confluence by decreasing diagrams. J. Log. Comput. 10 (3) (2000)
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
Extending partial combinatory algebras. Math. Struct. Comput. Sci. 9 (4) (1999)
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
Completing Partial Combinatory Algebras With Unique Head-Normal Forms. LICS (1996)
Jan Willem Klop, Aart Middeldorp, Yoshihito Toyama, Roel C. de Vrijer
Modularity of Confluence: A Simplified Proof. Inf. Process. Lett. 49 (2) (1994)
Jan Willem Klop, Roel C. de Vrijer
Extended Term Rewriting Systems. CTRS (1990)
Roel C. de Vrijer
Extending the Lambda Calculus with Surjective Pairing is Conservative LICS (1989)
Jan Willem Klop, Roel C. de Vrijer
Unique Normal Forms for Lambda Calculus with Surjective Pairing Inf. Comput. 80 (2) (1989)
Roel C. de Vrijer
A Direct Proof of the Finite Developments Theorem. J. Symb. Log. 50 (2) (1985)
Roel C. de Vrijer
Big trees in a lambda - calculus with lambda - expressions as types. Lambda-Calculus and Computer Science Theory (1975)