Roel Bloo

Publication Activity (10 Years)

Years Active: 1996-2012
Publications (10 Years): 0

Top Topics

Top Venues

J. Autom. Reason.

Publications

Kristoffer Høgsbro Rose, Roel Bloo, Frédéric Lang
On Explicit Substitution with Names. J. Autom. Reason. 49 (2) (2012)
Fairouz Kamareddine, Roel Bloo
De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case. J. Log. Algebraic Methods Program. 62 (2) (2005)
Fairouz Kamareddine, Roel Bloo
De Bruijn's syntax and reductional behaviour of lambda-terms: the untyped case. J. Log. Algebraic Methods Program. 62 (1) (2005)
Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Parameters in Pure Type Systems. LATIN (2002)
Roel Bloo
Pure type systems with explicit substitution. Math. Struct. Comput. Sci. 11 (1) (2001)
Fairouz Kamareddine, Roel Bloo, Rob Nederpelt
De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms. PPDP (2001)
Roel Bloo, Jozef Hooman, Edwin D. de Jong
Semantical Aspects of an Architecture for Distributed Embedded Systems. SAC (1) (2000)
Fairouz Kamareddine, Roel Bloo, Rob Nederpelt
On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations. Ann. Pure Appl. Log. 97 (1-3) (1999)
Roel Bloo, Herman Geuvers
Explicit Substitution On the Edge of Strong Normalization. Theor. Comput. Sci. 211 (1-2) (1999)
Roel Bloo, Fairouz Kamareddine, Rob Nederpelt
The Barendregt Cube with Definitions and Generalised Reduction. Inf. Comput. 126 (2) (1996)
Roel Bloo, Kristoffer Høgsbro Rose
Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation. RTA (1996)