Roel C. de Vrijer

20 papers A* 2Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2010 J jnl
Local Termination: theory and practice
Log. Methods Comput. Sci.
Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann
2009 — conf
Local Termination.
RTA
Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann
2008 J jnl
Lambda calculus with patterns.
Theor. Comput. Sci.
Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
2008 — conf
Proving Infinitary Normalization.
TYPES
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer
2008 — conf
Reduction Under Substitution.
RTA
Jörg Endrullis, Roel C. de Vrijer
2006 — conf
Iterative Lexicographic Path Orders.
Essays Dedicated to Joseph A. Goguen
Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
2005 — conf
Infinitary Normalization.
We Will Show Them! (2)
Jan Willem Klop, Roel C. de Vrijer
2005 — ed.
Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday
Processes, Terms and Cycles
Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer
2002 — conf
Four equivalent equivalences of reductions.
WRS
Vincent van Oostrom, Roel C. de Vrijer
2001 J jnl
A Calculus of Lambda Calculus Contexts.
J. Autom. Reason.
Mirna Bognar, Roel C. de Vrijer
2000 J jnl
A geometric proof of confluence by decreasing diagrams.
J. Log. Comput.
Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
2000 J jnl
Descendants and Origins in Term Rewriting.
Inf. Comput.
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
1999 J jnl
Extending partial combinatory algebras.
Math. Struct. Comput. Sci.
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
1996 A* conf
Completing Partial Combinatory Algebras With Unique Head-Normal Forms.
LICS
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
1994 J jnl
Modularity of Confluence: A Simplified Proof.
Inf. Process. Lett.
Jan Willem Klop, Aart Middeldorp, Yoshihito Toyama, Roel C. de Vrijer
1990 — conf
Extended Term Rewriting Systems.
CTRS
Jan Willem Klop, Roel C. de Vrijer
1989 A* conf
Extending the Lambda Calculus with Surjective Pairing is Conservative
LICS
Roel C. de Vrijer
1989 J jnl
Unique Normal Forms for Lambda Calculus with Surjective Pairing
Inf. Comput.
Jan Willem Klop, Roel C. de Vrijer
1985 J jnl
A Direct Proof of the Finite Developments Theorem.
J. Symb. Log.
Roel C. de Vrijer
1975 — conf
Big trees in a lambda - calculus with lambda - expressions as types.
Lambda-Calculus and Computer Science Theory
Roel C. de Vrijer