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
-
+