diff -r 4dac76eb27d9 -r 60e2efad126c PhD/index.html --- a/PhD/index.html Sat Jan 28 07:17:00 2017 +0000 +++ b/PhD/index.html Sat Jan 28 07:44:38 2017 +0000 @@ -2,7 +2,7 @@ "http://www.w3.org/TR/REC-html40/loose.dtd"> Homepage of Christian Urban - + Links
-Home
-Publications
-Recent Talks +Home
+Publications
+Recent Talks

Handy Information
-People in Logic
-Programming Languages
-Miscellaneous +People in Logic
+Programming Languages
+Miscellaneous

@@ -47,7 +47,7 @@ Postscript file of the thesis: -ps.gz +ps.gz @@ -55,7 +55,7 @@

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. @@ -66,11 +66,11 @@ Glynn Winskel are standing behind.

-
+
There are Susan Pitts and Alice Benton on the left.

The Ceremony

-

+