Roel Bloo

dr.

  • 104 Citaties
19942012

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

  • 104 Citaties
  • 9 Rapport
  • 7 Tijdschriftartikel
  • 5 Conferentiebijdrage
  • 1 Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
Filter
Tijdschriftartikel
2012

On explicit substitution with names

Rose, K. H., Bloo, R. & Lang, F., 2012, In : Journal of Automated Reasoning. 49, 2, blz. 275-300

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
2005

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

Kamareddine, F. & Bloo, C. J., 2005, In : Journal of Logic and Algebraic Programming. 62, 2, blz. 159-189

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Citaten (Scopus)

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

Kamareddine, F. & Bloo, C. J., 2005, In : Journal of Logic and Algebraic Programming. 62, 1, blz. 109-131

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Citaten (Scopus)
1 Downloads (Pure)
2001

Pure type systems with explicit substitution

Bloo, C. J., 2001, In : Mathematical Structures in Computer Science. 11, 1, blz. 3-19

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

3 Citaten (Scopus)
1 Downloads (Pure)
1999

Explicit substitution on the edge of strong normalisation

Bloo, C. J. & Geuvers, J. H., 1999, In : Theoretical Computer Science. 211, 1-2, blz. 375-395

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

25 Citaten (Scopus)

On Π-conversion in the λ-cube and the combination with abbreviations

Kamareddine, F., Bloo, C. J. & Nederpelt, R. P., 1999, In : Annals of Pure and Applied Logic. 97, 1-3, blz. 27-45 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

11 Citaten (Scopus)
1996

The Barendregt cube with definitions and generalised reduction

Bloo, C. J., Kamareddine, F. & Nederpelt, R. P., 1996, In : Information and Computation. 126, 2, blz. 123-143

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
31 Citaten (Scopus)