`Travelled to:`

1 × Austria

1 × Brazil

2 × USA

`Collaborated with:`

J.Endrullis ∅ J.Waldmann I.Bethke J.W.Klop

`Talks about:`

combinatori (1) substitut (1) calculus (1) surject (1) partial (1) conserv (1) complet (1) algebra (1) termin (1) reduct (1)

## Person: Roel C. de Vrijer

### DBLP: Vrijer:Roel_C=_de

### Contributed to:

### Wrote 4 papers:

- RTA-2009-EndrullisVW #termination
- Local Termination (JE, RCdV, JW), pp. 270–284.
- RTA-2008-EndrullisV #reduction
- Reduction Under Substitution (JE, RCdV), pp. 425–440.
- LICS-1996-BethkeKV #algebra #combinator #normalisation
- Completing Partial Combinatory Algebras With Unique Head-Normal Forms (IB, JWK, RCdV), pp. 448–454.
- LICS-1989-Vrijer #λ-calculus
- Extending the λ Calculus with Surjective Pairing is Conservative (RCdV), pp. 204–215.