Roel Bloo

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