Roel de Vrijer

According to our database, Roel de Vrijer authored at least 4 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Projections for infinitary rewriting (extended version).

Carlos Lombardi, Alejandro Ríos, Roel de Vrijer

Theor. Comput. Sci., 2019

2016

Projections for Infinitary Rewriting.

Carlos Lombardi, Alejandro Ríos, Roel de Vrijer

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

2014

Proof terms for infinitary rewriting, progress report.

Carlos Lombardi, Alejandro Ríos, Roel de Vrijer

CoRR, 2014

Proof Terms for Infinitary Rewriting.

Carlos Lombardi, Alejandro Ríos, Roel de Vrijer

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014