General description. Table of Contents, relating the PhD and the online material Detailed description of the files in this directory Jump to my home page

PhD Download Area

The thesis itself

For A4 paper

For letter paper

I obtained the following letter versions by moving the dvi file (using dvitodvi) such that it prints nicely in the center of letter paper.

Related software

Download the CCSL compiler from this page.

The formalisation (including all examples) is available as gzipped tar file (242K).

General description. Table of Contents, relating the PhD and the online material Detailed description of the files in this directory Jump to my home page

last changed on 3 Nov 2005 by Hendrik