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 × Italy
1 × USA
Collaborated with:
K.H.Rose F.Kamareddine R.Nederpelt J.Hooman E.D.d.Jong
Talks about:
system (2) reduct (2) combinatori (1) architectur (1) substitut (1) distribut (1) explicit (1) preserv (1) nomalis (1) equival (1)

Person: Roel Bloo

DBLP DBLP: Bloo:Roel

Contributed to:

PPDP 20012001
SAC 20002000
RTA 19961996

Wrote 3 papers:

PPDP-2001-KamareddineBN #equivalence #syntax
De Bruijn’s Syntax and Reductional Equivalence of λ-Terms (FK, RB, RN), pp. 16–27.
SAC-2000-BlooHJ #architecture #aspect-oriented #distributed #embedded #semantics
Semantical Aspects of an Architecture for Distributed Embedded Systems (RB, JH, EDdJ), pp. 149–155.
RTA-1996-BlooR #combinator #reduction
Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation (RB, KHR), pp. 169–183.

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.