Roel Bloo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Combinatory reduction systems with explicit substitution that preserve strong normalisation Rewriting Techniques and Applications	2022-12-09	Paper
On explicit substitution with names Journal of Automated Reasoning	2013-08-01	Paper
De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case The Journal of Logic and Algebraic Programming	2005-02-22	Paper
De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case The Journal of Logic and Algebraic Programming	2005-02-22	Paper
scientific article; zbMATH DE number 2086242 (Why is no real title available?)	2004-08-11	Paper
Pure type systems with explicit substitution MSCS. Mathematical Structures in Computer Science	2001-05-07	Paper
On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations Annals of Pure and Applied Logic	2000-02-15	Paper
Explicit substitution. On the edge of strong normalization Theoretical Computer Science	1999-01-12	Paper
scientific article; zbMATH DE number 1070568 (Why is no real title available?)	1997-10-05	Paper
The Barendregt cube with definitions and generalised reduction Information and Computation	1996-07-03	Paper

Research outcomes over time

This page was built for person: Roel Bloo