Homepage of Christian Urban

Links Home Publications Recent Talks Handy Information People in Logic Programming Languages Miscellaneous | Postscript file of the thesis: ps.gz
### The Dinner after the Viva organised by Gavin in The Three Horseshoes in Maddingley. Very nice. My examiners, Andy Pitts and Henk Barendregt, are next to me. Nick Benton, Mrs. Barendregt-Kessing (Henk's mother), Gavin Bierman, Mateja Jamnik, Martin Hyland and Glynn Winskel are standing behind. There are Susan Pitts and Alice Benton on the left. ### The Ceremony

Last modified: Thu Feb 28 20:23:06 CET 2008 [Validate this page.]