Roel Bloo

dr.

  • 104 Citaties
19942012

Onderzoeksresultaten per jaar

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

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Roel Bloo actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 2 Soortgelijke profielen

Onderzoeksoutput

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

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)

    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)

    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)

    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)

    Cursussen

    Logic and set theory

    1/09/12 → …

    Cursus

    Startbijeenkomst derde jaar

    1/09/09 → …

    Cursus

    Startbijeenkomst tweede jaar

    1/09/09 → …

    Cursus