Searching for authors named "Roel Bloo" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Pure Type Systems with Explicit Substitution
- … with Explicit Substitution Roel Bloo y E-mail: c.j.bloo@(email omitted); Received 31st March 2000 Abstract We dene…
- Cited by 4 (0 self) – Add To MetaCart
-
Preservation of Strong Normalisation for Explicit Substitution
- …Preservation of Strong Normalisation for Explicit Substitution Roel Bloo bloo@(email omitted); 1…
- Cited by 17 (2 self) – Add To MetaCart
-
De Bruijn's syntax and reductional behaviour of λ-terms
- …De Bruijn's syntax and reductional behaviour of -terms ? Fairouz Kamareddine 1 and Roel Bloo 2…
- Cited by 3 (0 self) – Add To MetaCart
-
Explicit Substitution: on the Edge of Strong Normalization
- …Explicit Substitution: on the Edge of Strong Normalization Roel Bloo bloo@(email omitted); Herman…
- Cited by 29 (2 self) – Add To MetaCart
-
On \Pi-conversion in the lambda-cube and the combination with abbreviations
- …On \Pi-conversion in the -cube and the combination with abbreviations Fairouz Kamareddine Roel Bloo…
- Add To MetaCart
-
Beyond beta-Reduction in Church's ...
- …Beyond fi-Reduction in Church's ! Roel Bloo Department of Mathematics and Computing Science…
- Add To MetaCart
-
The Lambda-Cube With Classes Which Approximate Reductional Equivalence
- …The -cube with classes which approximate reductional equivalence Roel Bloo y , Fairouz…
- Add To MetaCart
-
Characterizing Lambda-Terms With Equal Reduction Behavior
- …Characterizing -terms with equal reduction behavior ? Fairouz Kamareddine 1 and Roel Bloo 2…
- Add To MetaCart
-
The Barendregt Cube with Definitions and Generalised Reduction
- …The Barendregt Cube with Definitions and Generalised Reduction Roel Bloo y Department…
- Cited by 26 (14 self) – Add To MetaCart
-
De Bruijn's syntax and reductional equivalence of λ-terms
- … & Electrical Eng. Heriot-Watt University Riccarton Edinburgh EH14 4AS Scotland fairouz@(email omitted); Roel Bloo…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
