Content available in repository
Content available in repository
Fingerprint
Dive into the research topics where Roel Bloo is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
-
On explicit substitution with names
Rose, K. H., Bloo, R. & Lang, F., 2012, In: Journal of Automated Reasoning. 49, 2, p. 275-300Research output: Contribution to journal › Article › Academic › peer-review
3 Citations (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, p. 159-189Research output: Contribution to journal › Article › Academic › peer-review
2 Citations (Scopus)2 Downloads (Pure) -
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, p. 109-131Research output: Contribution to journal › Article › Academic › peer-review
2 Citations (Scopus)3 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. (ed.). Berlin: Springer, p. 371-385 (Lecture Notes in Computer Science; vol. 2286).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
2 Citations (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. (ed.). Association for Computing Machinery, Inc., p. 16-27Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
3 Citations (Scopus)
Courses
-
Automata and Formal Languages
Erkens, R., Spronck, M. S. C., Bartels, M., Betancourt Arias, J. S., Liem, E., Keiren, J. J. A., Bloo, R., Škorić, B. & de Vink, E. P. 1/09/24 → 31/08/26
Course
-
-
-
Logic and Set Theory
Luttik, S. P., Erkens, R., Bloo, R., de Vink, E. P., Castiglioni, V., Betancourt Arias, J. S., Roeloffzen, M. J. M., van Krieken, T. M. K. & Spronck, M. S. C. 1/09/12 → 31/08/26
Course