KNAW

Back to search results
Dr. R.C. de Vrijer Person

Dr. R.C. de Vrijer

Pagina-navigatie:


Update Persondata


Expertise Theoretical computing science
Expertise (NL) Theoretische informatica
Digital Author ID info:eu-repo/dai/nl/073155276

Active as

Associate professor
Organisation Section Theoretical Computer Science (VU)
Chair (EN) Theoretical computing science
Chair (NL) Theoretische informatica
Phone +31-20-5987770
Email RC. de. Vrijer -at- few. vu. nl
URL http://www.cs.vu.nl/~rdv/

Publications

Lambda calculus with patterns
A geometric proof of confluence by decreasing diagrams
Descendants and origins in term rewriting.
Extending partial combinatory algebras.

Current research

(the most recent research is at the top)
Project leader Lazy Productivity

Classification

D16100 Computer systems, architectures, networks
D16300 Theoretical computer science

Go to page top
Go back to contents
Go back to site navigation