BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Vrijer:Roel_C=_de

Contributed to:

RTA 20092009
RTA 20082008
LICS 19961996
LICS 19891989

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.