Roel Bloo

According to our database, Roel Bloo authored at least 11 papers between 1996 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

On Explicit Substitution with Names.

Kristoffer Høgsbro Rose, Roel Bloo, Frédéric Lang

J. Autom. Reason., 2012

2005

De Bruijn's syntax and reductional behaviour of lambda-terms: the typed case.

Fairouz Kamareddine, Roel Bloo

J. Log. Algebraic Methods Program., 2005

De Bruijn's syntax and reductional behaviour of lambda-terms: the untyped case.

Fairouz Kamareddine, Roel Bloo

J. Log. Algebraic Methods Program., 2005

2002

Parameters in Pure Type Systems.

Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2001

Pure type systems with explicit substitution.

Roel Bloo

Math. Struct. Comput. Sci., 2001

De Bruijn's Syntax and Reductional Equivalence of Lambda-Terms.

Fairouz Kamareddine, Roel Bloo, Rob Nederpelt

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

2000

Semantical Aspects of an Architecture for Distributed Embedded Systems.

Roel Bloo, Jozef Hooman, Edwin D. de Jong

Proceedings of the Applied Computing 2000, 2000

1999

Explicit Substitution On the Edge of Strong Normalization.

Roel Bloo, Herman Geuvers

Theor. Comput. Sci., 1999

On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations.

Fairouz Kamareddine, Roel Bloo, Rob Nederpelt

Ann. Pure Appl. Log., 1999

1996

The Barendregt Cube with Definitions and Generalised Reduction.

Roel Bloo, Fairouz Kamareddine, Rob Nederpelt

Inf. Comput., 1996

Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation.

Roel Bloo, Kristoffer Høgsbro Rose

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996