Roel Bloo

According to our database1, Roel Bloo
  • authored at least 11 papers between 1996 and 2012.
  • has a "Dijkstra number"2 of four.

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


  Loading...