Thesis

In August 2000 I obtained my Master's degree in Theoretical Computer Science at the Free University of Amsterdam. The subject I graduated on was A Coinductive Approach to Lambda Calculus; this also happens to be the title of the accompanying thesis.

In this article, I describe a coinductive definition for finite and infinite lambda terms. This is enhanced with some theorems on beta reduction within this framework.

Needless to say, this article is tremendous fun to read^[1]. I have therefore put it online, so everyone can share in the enjoyment that is lambda calculus, category theory and coinduction.

The article is primarily available as a PS document. For the PostScript impaired, there is also a PDF document; unfortunately, some of the images did not make it to PDF.

PDF can best be read using Acrobat Reader.