The following pages link to Roel de Vrijer (Q220712):
Displaying 23 items.
- Lambda calculus with patterns (Q930865) (← links)
- Modularity of confluence: A simplified proof (Q1318777) (← links)
- Projections for infinitary rewriting (Q1744449) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Projections for infinitary rewriting (extended version) (Q2424890) (← links)
- Local termination: theory and practice (Q2786137) (← links)
- Four equivalent equivalences of reductions (Q2843602) (← links)
- In memoriam: Nicolaas Govert de Bruijn (1918--2012). Mathematics and language: the Automath project (Q2878128) (← links)
- (Q3012528) (← links)
- (Q3202990) (← links)
- Reduction Under Substitution (Q3522035) (← links)
- Local Termination (Q3636830) (← links)
- Proving Infinitary Normalization (Q3638246) (← links)
- A direct proof of the finite developments theorem (Q3735687) (← links)
- (Q3783265) (← links)
- (Q3791151) (← links)
- (Q4128794) (← links)
- A geometric proof of confluence by decreasing diagrams (Q4500178) (← links)
- Extending partial combinatory algebras (Q4704765) (← links)
- Proof Terms for Infinitary Rewriting (Q5170824) (← links)
- Iterative Lexicographic Path Orders (Q5757933) (← links)
- Extended term rewriting systems (Q5881265) (← links)
- A calculus of lambda calculus contexts (Q5951522) (← links)