- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j7 |      | Kristoffer Høgsbro Rose, Roel Bloo, Frédéric Lang: On Explicit Substitution with Names. J. Autom. Reasoning 49(2): 275-300 (2012) |
| 2005 | ||
| j6 | | 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) |
| j5 | | 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 | ||
| c4 | | Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt: Parameters in Pure Type Systems. LATIN 2002: 371-385 |
| 2001 | ||
| j4 | | Roel Bloo: Pure type systems with explicit substitution. Mathematical Structures in Computer Science 11(1): 3-19 (2001) |
| c3 |  | Fairouz Kamareddine, Roel Bloo, Rob Nederpelt: De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms. PPDP 2001: 16-27 |
| 2000 | ||
| c2 | | Roel Bloo, Jozef Hooman, Edwin D. de Jong: Semantical Aspects of an Architecture for Distributed Embedded Systems. SAC (1) 2000: 149-155 |
| 1999 | ||
| j3 | | 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) |
| j2 | | Roel Bloo, Herman Geuvers: Explicit Substitution On the Edge of Strong Normalization. Theor. Comput. Sci. 211(1-2): 375-395 (1999) |
| 1996 | ||
| j1 | | Roel Bloo, Fairouz Kamareddine, Rob Nederpelt: The Barendregt Cube with Definitions and Generalised Reduction. Inf. Comput. 126(2): 123-143 (1996) |
| c1 | | Roel Bloo, Kristoffer Høgsbro Rose: Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation. RTA 1996: 169-183 |
| 1 | Herman Geuvers | |
| 2 | Jozef Hooman | |
| 3 | Edwin D. de Jong | |
| 4 | Fairouz Kamareddine | |
| 5 | Twan Laan | |
| 6 | Frédéric Lang | |
| 7 | Rob Nederpelt | |
| 8 | Kristoffer Høgsbro Rose (Kristoffer H. Rose) |
Colors in the list of coauthors
Last update Thu May 23 13:56:09 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page