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:
20092008
19961989Wrote 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.