equal
deleted
inserted
replaced
255 Cambridge was funded by two <A HREF="http://www.daad.de/index.html">scholarships</a> |
255 Cambridge was funded by two <A HREF="http://www.daad.de/index.html">scholarships</a> |
256 from the German government; my year in Marseille by a TMR-fellowship from the EU. |
256 from the German government; my year in Marseille by a TMR-fellowship from the EU. |
257 My PhD was also one starting point for the EPSRC Project on the Semantics of Classical |
257 My PhD was also one starting point for the EPSRC Project on the Semantics of Classical |
258 Proofs. The strong normalisation result in the PhD has been used in 2007 by |
258 Proofs. The strong normalisation result in the PhD has been used in 2007 by |
259 <A HREF="http://www.loria.fr/~ckirchne/hot.html">Prof. Claude Kirchner</A> and his |
259 <A HREF="http://www.loria.fr/~ckirchne/hot.html">Prof. Claude Kirchner</A> and his |
260 students for proving consistency for their superdeduction system lemuridae. |
260 students for proving consistency of their superdeduction system lemuridae. |
261 </TD> |
261 </TD> |
262 </TR> |
262 </TR> |
263 |
263 |
264 |
264 |
265 |
265 |
289 |
289 |
290 |
290 |
291 </TABLE> |
291 </TABLE> |
292 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
292 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
293 <!-- hhmts start --> |
293 <!-- hhmts start --> |
294 Last modified: Fri Jan 6 18:41:06 GMT 2012 |
294 Last modified: Fri Jan 6 18:41:42 GMT 2012 |
295 <!-- hhmts end --> |
295 <!-- hhmts end --> |
296 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
296 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
297 |
297 |
298 </BODY> |
298 </BODY> |
299 </HTML> |
299 </HTML> |