equal
deleted
inserted
replaced
284 <B>Classical Logic</B> |
284 <B>Classical Logic</B> |
285 I was Ph.D. student in the University of Cambridge |
285 I was Ph.D. student in the University of Cambridge |
286 <A HREF="http://www.cl.cam.ac.uk">Computer Laboratory</A> |
286 <A HREF="http://www.cl.cam.ac.uk">Computer Laboratory</A> |
287 and for three years |
287 and for three years |
288 called Gonville and Caius College my home. I was very lucky to have |
288 called Gonville and Caius College my home. I was very lucky to have |
289 <A HREF="http://research.microsoft.com/~gmb/">Dr Gavin Bierman</A> |
289 <A HREF="https://labs.oracle.com/pls/apex/f?p=labs:bio:0:2044">Dr Gavin Bierman</A> |
290 as supervisor. My research in Cambridge was also very much influenced by |
290 as supervisor. My research in Cambridge was also very much influenced by |
291 <A HREF="http://www.dpmms.cam.ac.uk/~martin/">Prof. Martin Hyland</A>. |
291 <A HREF="http://www.dpmms.cam.ac.uk/~martin/">Prof. Martin Hyland</A>. |
292 Some details on my thesis "Classical Logic and Computation" are |
292 Some details on my thesis "Classical Logic and Computation" are |
293 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/PhD/index.html">elsewhere</A>, including |
293 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/PhD/index.html">elsewhere</A>, including |
294 a <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cut/cutapplet.html">Java Applet</A> that |
294 a <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cut/cutapplet.html">Java Applet</A> that |