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
Rapport
2000

Characterizing lambda-terms with equal reduction behavior

Kamareddine, F., Bloo, R. & Nederpelt, R. P., 2000, Eindhoven: Technische Universiteit Eindhoven. 12 blz. (Computing science reports; vol. 0016)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
40 Downloads (Pure)

Parameters in pure type systems

Laan, T. D. L., Bloo, R., Kamareddine, F. & Nederpelt, R. P., 2000, Eindhoven: Technische Universiteit Eindhoven. 41 blz. (Computing science reports; vol. 0018)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
102 Downloads (Pure)

Semantical aspects of an architecture for distributed embedded systems

Bloo, C. J., Hooman, J. J. M. & Jong, de, E., 2000, Eindhoven: Technische Universiteit Eindhoven. 47 blz. (Computing science reports; vol. 0004)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
8 Citaten (Scopus)
75 Downloads (Pure)
1996

Explicit substitution : on the edge of strong normalisation

Bloo, C. J. & Geuvers, J. H., 1996, Eindhoven: Technische Universiteit Eindhoven. 14 blz. (Computing science reports; vol. 9610)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
76 Downloads (Pure)
1995

Preservation of strong normalisation for explicit substitution

Bloo, R., 1995, Eindhoven: Technische Universiteit Eindhoven. 13 blz. (Computing science reports; vol. 9508)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
50 Downloads (Pure)
1994

Beyond Beta-reduction in Church's lambda-arrow

Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 22 blz. (Computing science notes; vol. 9420)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
47 Downloads (Pure)

On Pi-conversion in type theory

Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 16 blz. (Computing science reports; vol. 9447)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
40 Downloads (Pure)

The Barendregt cube with definitions and generalised reduction

Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 37 blz. (Computing science reports; vol. 9434)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
146 Downloads (Pure)

The lambda-cube with classes of terms modulo conversion

Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 12 blz. (Computing science reports; vol. 9446)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
45 Downloads (Pure)