Home
Publications
Recent Talks
Handy Information
People in Logic
Programming Languages
Miscellaneous
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
