| 2005 |
|---|
| 10 | EE | Fairouz Kamareddine,
Roel Bloo:
De Bruijn's syntax and reductional behaviour of lambda-terms: the untyped case.
J. Log. Algebr. Program. 62(1): 109-131 (2005) |
| 9 | EE | Fairouz Kamareddine,
Roel Bloo:
De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case.
J. Log. Algebr. Program. 62(2): 159-189 (2005) |
| 2002 |
|---|
| 8 | EE | Roel Bloo,
Fairouz Kamareddine,
Twan Laan,
Rob Nederpelt:
Parameters in Pure Type Systems.
LATIN 2002: 371-385 |
| 2001 |
|---|
| 7 | | Fairouz Kamareddine,
Roel Bloo,
Rob Nederpelt:
De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms.
PPDP 2001: 16-27 |
| 6 | | Roel Bloo:
Pure type systems with explicit substitution.
Mathematical Structures in Computer Science 11(1): 3-19 (2001) |
| 2000 |
|---|
| 5 | | Roel Bloo,
Jozef Hooman,
Edwin D. de Jong:
Semantical Aspects of an Architecture for Distributed Embedded Systems.
SAC (1) 2000: 149-155 |
| 1999 |
|---|
| 4 | | Fairouz Kamareddine,
Roel Bloo,
Rob Nederpelt:
On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations.
Ann. Pure Appl. Logic 97(1-3): 27-45 (1999) |
| 3 | EE | Roel Bloo,
Herman Geuvers:
Explicit Substitution On the Edge of Strong Normalization.
Theor. Comput. Sci. 211(1-2): 375-395 (1999) |
| 1996 |
|---|
| 2 | | Roel Bloo,
Kristoffer Høgsbro Rose:
Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation.
RTA 1996: 169-183 |
| 1 | | Roel Bloo,
Fairouz Kamareddine,
Rob Nederpelt:
The Barendregt Cube with Definitions and Generalised Reduction.
Inf. Comput. 126(2): 123-143 (1996) |
