Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
logic.html
changeset 469 95ea2ffaa094
parent 465 4dac76eb27d9 
--- a/logic.html	Wed Mar 01 13:57:18 2017 +0000
+++ b/logic.html	Sun Jun 04 01:20:04 2017 +0100
@@ -77,7 +77,7 @@
 <DD><A HREF="http://www.pps.univ-paris-diderot.fr/~faggian/">Claudia Faggian</A></DD>
 <DD><A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/">Dale Miller</A></DD>
 <DD><A HREF="http://www.cs.indiana.edu/~dfried/">Daniel Friedman</A></DD>
-<DD><A HREF="http://www.abdn.ac.uk/~csc335/">David Pym</A></DD>
+<DD><A HREF="http://www0.cs.ucl.ac.uk/staff/D.Pym/">David Pym</A></DD>
 <DD><A HREF="http://www.eecs.qmul.ac.uk/~edmundr/">Edmund Robinson</A></DD>
 <DD><A HREF="http://www.cs.cmu.edu/~fp">Frank Pfenning</A></DD>
 <DD><A HREF="https://labs.oracle.com/pls/apex/f?p=labs:bio:0:2044">Gavin Bierman</A></DD>
@@ -113,9 +113,9 @@
 <DD><A HREF="http://sketis.net">Markus Wenzel</A></DD>
 <DD><A HREF="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/">Martin Hofmann</A></DD>
 <DD><A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A></DD>
-<DD><A HREF="http://www.logic.at/staff/baaz/">Matthias Baaz</A></DD>
+<DD><A HREF="http://dmg.tuwien.ac.at/baaz/">Matthias Baaz</A></DD>
 <DD><A HREF="http://www.ccs.neu.edu/home/matthias/">Matthias Felleisen</A></DD>
-<DD><A HREF="http://nicta.com.au/people/norrishm">Michael Norrish</A></DD>
+<DD><A HREF="https://researchers.anu.edu.au/researchers/norrish-m">Michael Norrish</A></DD>
 <DD><A HREF="http://www.ccs.neu.edu/home/wand/">Mitchell Wand</A></DD>
 <DD><A HREF="http://www.diku.dk/users/neil/">Neil Jones</A></DD>
 <DD><A HREF="http://research.microsoft.com/~nick/">Nick Benton</A></DD>
@@ -150,7 +150,7 @@
              Survey on linear logic programming languages by Dale Miller</A></DD>
 <DD><A HREF="http://cl-informatik.uibk.ac.at/~ami/research/rr/">
              Researchers in Rewriting</A> </DD>
-<DD><A HREF="http://www.lsv.ens-cachan.fr/rtaloop/">
+<DD><A HREF="http://www.win.tue.nl/rtaloop/">
              List of open problems in term rewriting</A> </DD>
 <DD><A HREF="http://www.cis.upenn.edu/~giorgi/cl.html">Computability Logic Homepage</A> 
 </DL>
public_html