# Roel Bloo

According to our database

^{1}, Roel Bloo## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2012

On Explicit Substitution with Names.

J. Autom. Reasoning, 2012

2005

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

J. Log. Algebr. Program., 2005

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

J. Log. Algebr. Program., 2005

2002

Parameters in Pure Type Systems.

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2001

Pure type systems with explicit substitution.

Mathematical Structures in Computer Science, 2001

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

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.

Proceedings of the Applied Computing 2000, 2000

1999

Explicit Substitution On the Edge of Strong Normalization.

Theor. Comput. Sci., 1999

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

Ann. Pure Appl. Logic, 1999

1996

The Barendregt Cube with Definitions and Generalised Reduction.

Inf. Comput., 1996

Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation.

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