75 <DD><A HREF="http://www.cis.upenn.edu/~bcpierce/">Benjamin Pierce</A></DD> |
75 <DD><A HREF="http://www.cis.upenn.edu/~bcpierce/">Benjamin Pierce</A></DD> |
76 <DD><A HREF="http://www.lix.polytechnique.fr/~catuscia/">Catuscia Palamidessi</A></DD> |
76 <DD><A HREF="http://www.lix.polytechnique.fr/~catuscia/">Catuscia Palamidessi</A></DD> |
77 <DD><A HREF="http://www.pps.univ-paris-diderot.fr/~faggian/">Claudia Faggian</A></DD> |
77 <DD><A HREF="http://www.pps.univ-paris-diderot.fr/~faggian/">Claudia Faggian</A></DD> |
78 <DD><A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/">Dale Miller</A></DD> |
78 <DD><A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/">Dale Miller</A></DD> |
79 <DD><A HREF="http://www.cs.indiana.edu/~dfried/">Daniel Friedman</A></DD> |
79 <DD><A HREF="http://www.cs.indiana.edu/~dfried/">Daniel Friedman</A></DD> |
80 <DD><A HREF="http://www.abdn.ac.uk/~csc335/">David Pym</A></DD> |
80 <DD><A HREF="http://www0.cs.ucl.ac.uk/staff/D.Pym/">David Pym</A></DD> |
81 <DD><A HREF="http://www.eecs.qmul.ac.uk/~edmundr/">Edmund Robinson</A></DD> |
81 <DD><A HREF="http://www.eecs.qmul.ac.uk/~edmundr/">Edmund Robinson</A></DD> |
82 <DD><A HREF="http://www.cs.cmu.edu/~fp">Frank Pfenning</A></DD> |
82 <DD><A HREF="http://www.cs.cmu.edu/~fp">Frank Pfenning</A></DD> |
83 <DD><A HREF="https://labs.oracle.com/pls/apex/f?p=labs:bio:0:2044">Gavin Bierman</A></DD> |
83 <DD><A HREF="https://labs.oracle.com/pls/apex/f?p=labs:bio:0:2044">Gavin Bierman</A></DD> |
84 <DD><A HREF="http://www.cs.berkeley.edu/~necula/">George Necula</A></DD> |
84 <DD><A HREF="http://www.cs.berkeley.edu/~necula/">George Necula</A></DD> |
85 <DD><A HREF="http://profs.sci.univr.it/~bellin/">Gianluigi Bellin</A></DD> |
85 <DD><A HREF="http://profs.sci.univr.it/~bellin/">Gianluigi Bellin</A></DD> |
111 <DD><A HREF="http://shemesh.larc.nasa.gov/people/mrm/">Mahyar Malekpour</A></DD> |
111 <DD><A HREF="http://shemesh.larc.nasa.gov/people/mrm/">Mahyar Malekpour</A></DD> |
112 <DD><A HREF="http://www.inf.kcl.ac.uk/staff/maribel/">Maribel Fernandez</A></DD> |
112 <DD><A HREF="http://www.inf.kcl.ac.uk/staff/maribel/">Maribel Fernandez</A></DD> |
113 <DD><A HREF="http://sketis.net">Markus Wenzel</A></DD> |
113 <DD><A HREF="http://sketis.net">Markus Wenzel</A></DD> |
114 <DD><A HREF="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/">Martin Hofmann</A></DD> |
114 <DD><A HREF="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/">Martin Hofmann</A></DD> |
115 <DD><A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A></DD> |
115 <DD><A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A></DD> |
116 <DD><A HREF="http://www.logic.at/staff/baaz/">Matthias Baaz</A></DD> |
116 <DD><A HREF="http://dmg.tuwien.ac.at/baaz/">Matthias Baaz</A></DD> |
117 <DD><A HREF="http://www.ccs.neu.edu/home/matthias/">Matthias Felleisen</A></DD> |
117 <DD><A HREF="http://www.ccs.neu.edu/home/matthias/">Matthias Felleisen</A></DD> |
118 <DD><A HREF="http://nicta.com.au/people/norrishm">Michael Norrish</A></DD> |
118 <DD><A HREF="https://researchers.anu.edu.au/researchers/norrish-m">Michael Norrish</A></DD> |
119 <DD><A HREF="http://www.ccs.neu.edu/home/wand/">Mitchell Wand</A></DD> |
119 <DD><A HREF="http://www.ccs.neu.edu/home/wand/">Mitchell Wand</A></DD> |
120 <DD><A HREF="http://www.diku.dk/users/neil/">Neil Jones</A></DD> |
120 <DD><A HREF="http://www.diku.dk/users/neil/">Neil Jones</A></DD> |
121 <DD><A HREF="http://research.microsoft.com/~nick/">Nick Benton</A></DD> |
121 <DD><A HREF="http://research.microsoft.com/~nick/">Nick Benton</A></DD> |
122 <DD><A HREF="http://www.trustworthytools.com/">Peter Homeier</A> |
122 <DD><A HREF="http://www.trustworthytools.com/">Peter Homeier</A> |
123 <DD><A HREF="http://www.cl.cam.ac.uk/~pes20/">Peter Sewell</A> |
123 <DD><A HREF="http://www.cl.cam.ac.uk/~pes20/">Peter Sewell</A> |
148 <DL> |
148 <DL> |
149 <DD><A HREF="ftp://ftp.cis.upenn.edu/pub/papers/miller/ComputNet95/llsurvey.html"> |
149 <DD><A HREF="ftp://ftp.cis.upenn.edu/pub/papers/miller/ComputNet95/llsurvey.html"> |
150 Survey on linear logic programming languages by Dale Miller</A></DD> |
150 Survey on linear logic programming languages by Dale Miller</A></DD> |
151 <DD><A HREF="http://cl-informatik.uibk.ac.at/~ami/research/rr/"> |
151 <DD><A HREF="http://cl-informatik.uibk.ac.at/~ami/research/rr/"> |
152 Researchers in Rewriting</A> </DD> |
152 Researchers in Rewriting</A> </DD> |
153 <DD><A HREF="http://www.lsv.ens-cachan.fr/rtaloop/"> |
153 <DD><A HREF="http://www.win.tue.nl/rtaloop/"> |
154 List of open problems in term rewriting</A> </DD> |
154 List of open problems in term rewriting</A> </DD> |
155 <DD><A HREF="http://www.cis.upenn.edu/~giorgi/cl.html">Computability Logic Homepage</A> |
155 <DD><A HREF="http://www.cis.upenn.edu/~giorgi/cl.html">Computability Logic Homepage</A> |
156 </DL> |
156 </DL> |
157 |
157 |
158 |
158 |