Publications

• "The Barendregt Cube with Definitions and Generalised Reduction" is a paper I wrote with Fairouz Kamareddine and Rob Nederpelt; it has been published in: Information and Computation, vol. 126, pp. 123--143.

• "Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Normalisation" is a paper I wrote with Kristoffer Rose. It was presented at the conference RTA'96 and published in the proceedings which appeared as Lecture Notes in Computer Science 1103 by Springer (ed. H. Ganzinger).

• The paper "Pure type systems with explicit substitution" has been presented at the WESTAPP'99 workshop in Trento, Italy. It has been accepted for publication in a special issue in the journal Mathematical structures in computer science. A preliminary version can be downloaded here.

Technical Reports and such

• Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection (joint work with Kristoffer Rose) has been presented at the conference Computing Science in the Netherlands 1995, organised by the `Stichting Informatica Onderzoek Nederland' (Netherlands Computer Science Research Foundation).

• Preservation of Strong Normalisation for Explicit Substitution has appeared as Computing Science Report 95-08 at Eindhoven University of Technology.

• Explicit Substitution: on the Edge of Strong Normalisation has been written by Herman Geuvers and me; it has appeared as Computing Science Report 96-10 at Eindhoven University of Technology. It has been accepted for publication with minor revisions in the journal `Theoretical Computer Science'.