Search the dblp DataBase

Publications of Author

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