64 <DD><A HREF="http://www.cis.upenn.edu/~bcpierce/">Benjamin Pierce</A></DD> |
64 <DD><A HREF="http://www.cis.upenn.edu/~bcpierce/">Benjamin Pierce</A></DD> |
65 <DD><A HREF="http://www.lix.polytechnique.fr/~catuscia/">Catuscia Palamidessi</A></DD> |
65 <DD><A HREF="http://www.lix.polytechnique.fr/~catuscia/">Catuscia Palamidessi</A></DD> |
66 <DD><A HREF="http://www.math.unipd.it/~claudia/">Claudia Faggian</A></DD> |
66 <DD><A HREF="http://www.math.unipd.it/~claudia/">Claudia Faggian</A></DD> |
67 <DD><A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/">Dale Miller</A></DD> |
67 <DD><A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/">Dale Miller</A></DD> |
68 <DD><A HREF="http://www.cs.indiana.edu/~dfried/">Daniel Friedman</A></DD> |
68 <DD><A HREF="http://www.cs.indiana.edu/~dfried/">Daniel Friedman</A></DD> |
69 <DD><A HREF="http://www.bath.ac.uk/~cssdjp/">David Pym</A></DD> |
69 <DD><A HREF="http://www.abdn.ac.uk/~csc335/">David Pym</A></DD> |
70 <DD><A HREF="http://www.loria.fr/~galmiche/">Didier Galmiche</A></DD> |
|
71 <DD><A HREF="http://www.dcs.qmw.ac.uk/~edmundr">Edmund Robinson</A></DD> |
70 <DD><A HREF="http://www.dcs.qmw.ac.uk/~edmundr">Edmund Robinson</A></DD> |
72 <DD><A HREF="http://www.cs.cmu.edu/~fp">Frank Pfenning</A></DD> |
71 <DD><A HREF="http://www.cs.cmu.edu/~fp">Frank Pfenning</A></DD> |
73 <DD><A HREF="http://research.microsoft.com/~gmb/">Gavin Bierman</A></DD> |
72 <DD><A HREF="http://research.microsoft.com/~gmb/">Gavin Bierman</A></DD> |
74 <DD><A HREF="http://www.cs.berkeley.edu/~necula/">George Necula</A></DD> |
73 <DD><A HREF="http://www.cs.berkeley.edu/~necula/">George Necula</A></DD> |
75 <DD><A HREF="http://profs.sci.univr.it/~bellin/">Gianluigi Bellin</A></DD> |
74 <DD><A HREF="http://profs.sci.univr.it/~bellin/">Gianluigi Bellin</A></DD> |
76 <DD><A HREF="http://www.lix.polytechnique.fr/~dowek/">Gilles Dowek</A></DD> |
75 <DD><A HREF="http://www-roc.inria.fr/who/Gilles.Dowek/">Gilles Dowek</A></DD> |
77 <DD><A HREF="http://www.cl.cam.ac.uk/~gw104/">Glynn Winskel</A></DD> |
76 <DD><A HREF="http://www.cl.cam.ac.uk/~gw104/">Glynn Winskel</A></DD> |
78 <DD><A HREF="http://www-users.cs.umn.edu/~gopalan/">Gopalan Nadathur</A></DD> |
77 <DD><A HREF="http://www-users.cs.umn.edu/~gopalan/">Gopalan Nadathur</A></DD> |
79 <DD><A HREF="http://www.dcs.ed.ac.uk/home/gdp/">Gordon Plotkin</A></DD> |
78 <DD><A HREF="http://www.dcs.ed.ac.uk/home/gdp/">Gordon Plotkin</A></DD> |
80 <DD><A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Helmut Schwichtenberg</A></DD> |
79 <DD><A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Helmut Schwichtenberg</A></DD> |
81 <DD><A HREF="http://www.cs.kun.nl/~henk">Henk Barendregt</A></DD> |
80 <DD><A HREF="http://www.cs.kun.nl/~henk">Henk Barendregt</A></DD> |
83 <DD><A HREF="http://theory.stanford.edu/~iliano">Iliano Cervesato</A> |
82 <DD><A HREF="http://theory.stanford.edu/~iliano">Iliano Cervesato</A> |
84 <DD><A HREF="http://homepages.inf.ed.ac.uk/jcheney/">James Cheney</A> |
83 <DD><A HREF="http://homepages.inf.ed.ac.uk/jcheney/">James Cheney</A> |
85 <DD><A HREF="http://www.cis.upenn.edu/~jean">Jean Gallier</A>, |
84 <DD><A HREF="http://www.cis.upenn.edu/~jean">Jean Gallier</A>, |
86 <A HREF="ftp://ftp.cis.upenn.edu/pub/papers/gallier/">papers</A></DD> |
85 <A HREF="ftp://ftp.cis.upenn.edu/pub/papers/gallier/">papers</A></DD> |
87 <DD><A HREF="http://iml.univ-mrs.fr:80/~girard/">Jean-Yves Girard</A></DD> |
86 <DD><A HREF="http://iml.univ-mrs.fr:80/~girard/">Jean-Yves Girard</A></DD> |
|
87 <DD><A HREF="http://user.it.uu.se/~joachim/">Joachim Parrow</A></DD> |
88 <DD><A HREF="http://www.cl.cam.ac.uk/users/jrh/">John Harrison</A></DD> |
88 <DD><A HREF="http://www.cl.cam.ac.uk/users/jrh/">John Harrison</A></DD> |
89 <DD><A HREF="http://theory.stanford.edu/people/jcm/home.html">John Mitchell</A></DD> |
89 <DD><A HREF="http://theory.stanford.edu/people/jcm/home.html">John Mitchell</A></DD> |
90 <DD><A HREF="http://www.cs.cmu.edu/~crary/">Karl Crary</A></DD> |
90 <DD><A HREF="http://www.cs.cmu.edu/~crary/">Karl Crary</A></DD> |
|
91 <DD><A HREF="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</A></DD> |
|
92 <DD><A HREF="http://www.itu.dk/~birkedal/">Lars Birkedal</A></DD> |
91 </DL> |
93 </DL> |
92 </TD> |
94 </TD> |
93 |
95 |
94 <TD> |
96 <TD> |
95 <DL> |
97 <DL> |
96 <DD><A HREF="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</A></DD> |
98 <DD><A HREF="http://tratt.net/laurie/">Laurie Tratt</A></DD> |
97 <DD><A HREF="http://www.comlab.ox.ac.uk/oucl/people/luke.ong.html">Luke Ong</A></DD> |
99 <DD><A HREF="http://www.comlab.ox.ac.uk/oucl/people/luke.ong.html">Luke Ong</A></DD> |
|
100 <DD><A HREF="http://www.dcs.kcl.ac.uk/staff/maribel/">Maribel Fernandez</A></DD> |
|
101 <DD><A HREF="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</A></DD> |
98 <DD><A HREF="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/">Martin Hofmann</A></DD> |
102 <DD><A HREF="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/">Martin Hofmann</A></DD> |
99 <DD><A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A></DD> |
103 <DD><A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A></DD> |
100 <DD><A HREF="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</A></DD> |
|
101 <DD><A HREF="http://www.logic.at/staff/baaz/">Matthias Baaz</A></DD> |
104 <DD><A HREF="http://www.logic.at/staff/baaz/">Matthias Baaz</A></DD> |
102 <DD><A HREF="http://www.ccs.neu.edu/home/matthias/">Matthias Felleisen</A></DD> |
105 <DD><A HREF="http://www.ccs.neu.edu/home/matthias/">Matthias Felleisen</A></DD> |
103 <DD><A HREF="http://users.rsise.anu.edu.au/~michaeln/">Michael Norrish</A></DD> |
106 <DD><A HREF="http://users.rsise.anu.edu.au/~michaeln/">Michael Norrish</A></DD> |
104 <DD><A HREF="http://www.ccs.neu.edu/home/wand/">Mitchell Wand</A></DD> |
107 <DD><A HREF="http://www.ccs.neu.edu/home/wand/">Mitchell Wand</A></DD> |
105 <DD><A HREF="http://www.diku.dk/users/neil/">Neil Jones</A></DD> |
108 <DD><A HREF="http://www.diku.dk/users/neil/">Neil Jones</A></DD> |
114 <DD><A HREF="http://www.cs.cornell.edu/home/rc/">Robert Constable</A></DD> |
117 <DD><A HREF="http://www.cs.cornell.edu/home/rc/">Robert Constable</A></DD> |
115 <DD><A HREF="http://www.cs.cmu.edu/~rwh/">Robert Harper</A></DD> |
118 <DD><A HREF="http://www.cs.cmu.edu/~rwh/">Robert Harper</A></DD> |
116 <DD><A HREF="http://www.dcs.st-and.ac.uk/~rd/">Roy Dyckhoff</A></DD> |
119 <DD><A HREF="http://www.dcs.st-and.ac.uk/~rd/">Roy Dyckhoff</A></DD> |
117 <DD><A HREF="http://web.comlab.ox.ac.uk/oucl/people/samson.abramsky.html">Samson Abramsky</A></DD> |
120 <DD><A HREF="http://web.comlab.ox.ac.uk/oucl/people/samson.abramsky.html">Samson Abramsky</A></DD> |
118 <DD><A HREF="http://www.wv.inf.tu-dresden.de/~sh/">Steffen Hölldobler</A></DD> |
121 <DD><A HREF="http://www.wv.inf.tu-dresden.de/~sh/">Steffen Hölldobler</A></DD> |
119 <DD><A HREF="http://math.Stanford.EDU/~feferman/">Solomon Feferman</A></DD> |
122 <DD><A HREF="http://www.steffen-zschaler.de/">Steffen Zschaler</A></DD> |
120 <DD><A HREF="http://wwwbroy.in.tum.de/~berghofe/index.html">Stefan Berghofer</A></DD> |
123 <DD><A HREF="http://wwwbroy.in.tum.de/~berghofe/index.html">Stefan Berghofer</A></DD> |
121 <DD><A HREF="http://www.cis.upenn.edu/~stevez/">Steve Zdancewic</A></DD> |
124 <DD><A HREF="http://www.cis.upenn.edu/~stevez/">Steve Zdancewic</A></DD> |
122 <DD><A HREF="http://www.cs.chalmers.se/~coquand/">Thierry Coquand</A></DD> |
125 <DD><A HREF="http://www.cs.chalmers.se/~coquand/">Thierry Coquand</A></DD> |
123 <DD><A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/">Tobias Nipkow</A></DD> |
126 <DD><A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/">Tobias Nipkow</A></DD> |
124 <DD><A HREF="http://www-compsci.swan.ac.uk/~csulrich/">Ulrich Berger</A></DD> |
127 <DD><A HREF="http://www-compsci.swan.ac.uk/~csulrich/">Ulrich Berger</A></DD> |
137 Survey on linear logic programming languages by Dale Miller</A></DD> |
140 Survey on linear logic programming languages by Dale Miller</A></DD> |
138 <DD><A HREF="http://cl-informatik.uibk.ac.at/~ami/research/rr/"> |
141 <DD><A HREF="http://cl-informatik.uibk.ac.at/~ami/research/rr/"> |
139 Researchers in Rewriting</A> </DD> |
142 Researchers in Rewriting</A> </DD> |
140 <DD><A HREF="http://www.lsv.ens-cachan.fr/rtaloop/"> |
143 <DD><A HREF="http://www.lsv.ens-cachan.fr/rtaloop/"> |
141 List of open problems in term rewriting</A> </DD> |
144 List of open problems in term rewriting</A> </DD> |
142 <DD><A HREF="http://www.uni-bonn.de/logic/world.html"> |
|
143 Mathematical logic</A> </DD> |
|
144 <DD><A HREF="http://www.cis.upenn.edu/~giorgi/cl.html">Computability Logic Homepage</A> |
145 <DD><A HREF="http://www.cis.upenn.edu/~giorgi/cl.html">Computability Logic Homepage</A> |
145 </DL> |
146 </DL> |
146 |
147 |
147 |
148 |
148 </TD> |
149 </TD> |
149 </TR> |
150 </TR> |
150 |
151 |
151 </TABLE> |
152 </TABLE> |
152 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
153 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
153 <!-- hhmts start --> |
154 <!-- hhmts start --> |
154 Last modified: Mon Mar 29 08:15:12 CEST 2010 |
155 Last modified: Sat Oct 22 11:44:13 BST 2011 |
155 <!-- hhmts end --> |
156 <!-- hhmts end --> |
156 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
157 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
157 </BODY> |
158 </BODY> |
158 </HTML> |
159 </HTML> |