Roel de Vrijer

Lambda calculus with patterns

Jan Willem Klop, Vincent van Oostrom, Roel de Vrijer · Theoretical Computer Science · 2008 · 46 citations · Full text

Engineering, Automated Reasoning, Formal Methods +3

Descendants and Origins in Term Rewriting

Inge Bethke, Jan Willem Klop, Roel de Vrijer · Information and Computation · 2000 · 38 citations · Full text

Term Rewriting, Syntax, Regulated Rewriting +6

Modularity of confluence: A simplified proof

Jan Willem Klop, Aart Middeldorp, Yoshihito Toyama et al. · Information Processing Letters · 1994 · 26 citations

Engineering, Automated Reasoning, Module Design +3

Exactly estimating functionals and strong normalization

Roel de Vrijer · Indagationes Mathematicae (Proceedings) · 1987 · 24 citations

Generalized Function, Strong Normalization, Data Normalization +4

A direct proof of the finite developments theorem

Roel de Vrijer · Journal of Symbolic Logic · 1985 · 23 citations

Theoretical Mathematics, Engineering, Reduction Steps +10