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)
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)
2002

Parameters in pure type systems

Bloo, C. J., Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2002, LATIN 2002: theoretical informatics proceedings 5th Latin American symposium, Cancun, Mexico, April 3-6, 2002. Rajsbaum, S. (redactie). Berlin: Springer, blz. 371-385 (Lecture Notes in Computer Science; vol. 2286).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
2001

De Bruijn's syntax and reductional equivalence of lambda-terms

Kamareddine, F., Bloo, C. J. & Nederpelt, R. P., 2001, Proceedings Third International Conference on Principles and Practice of Declarative Programming (PPDP01, Florence, Italy, September 5-7, 2001)). Nicola, De, R. (redactie). Association for Computing Machinery, Inc, blz. 16-27

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

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)
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)

Semantical issues in the architecture of distributed embedded systems

Bloo, C. J., Hooman, J. J. M. & Jong, de, E., 2000, Applied Computing 2000 (Proceedings of the 2000 ACM Symposium on Applied Computing, SAC 2000, Como, Italy, March 19-21, 2000). Carroll, J., Damiani, E., Haddad, H. & Oppenheim, D. (redactie). Association for Computing Machinery, Inc, Vol. 1. blz. 149-155

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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)
1997

Preservation of termination for explicit substitution

Bloo, C. J., 1997, Eindhoven: Technische Universiteit Eindhoven. 178 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
85 Downloads (Pure)
1996

Combinatory reduction systems with explicit substitution that preserve strong normalisation

Bloo, C. J. & Rose, K. H., 1996, Rewriting Techniques and Applications (Proceedings 7th International Conference, RTA-96, New Brunswick NJ, USA, July 27-30, 1996). Ganzinger, H. (redactie). Berlin: Springer, blz. 169-183 (Lecture Notes in Computer Science; vol. 1103).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

16 Citaten (Scopus)

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)

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)
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)

Preservation of strong normalisation in named lambda calculi with explicit substitution and garbage collection

Bloo, C. J. & Rose, K. H., 1995, Computing Science in the Netherlands (CSN'95, Utrecht, The Netherlands, November 27-28, 1995). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 62-72

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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)