Search the dblp DataBase
Roel Bloo :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Roel Bloo , Fairouz Kamareddine , Twan Laan , Rob Nederpelt Parameters in Pure Type Systems. [Citation Graph (0, 0)][DBLP ] LATIN, 2002, pp:371-385 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Search in 0.001secs, Finished in 0.002secs