Dissertation Submission

This release contains everything described in my dissertation for the Cambridge Computer Science Tripos. It is a checkpoint of my source code just after the dissertation submission.