equal
deleted
inserted
replaced
113 <DD><A HREF="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</A></DD> |
113 <DD><A HREF="http://www4.in.tum.de/~wenzelm/">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://www.logic.at/staff/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://users.rsise.anu.edu.au/~michaeln/">Michael Norrish</A></DD> |
118 <DD><A HREF="http://nicta.com.au/people/norrishm">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> |
144 </TABLE> |
144 </TABLE> |
145 |
145 |
146 <H4>Bookmarks </H4> |
146 <H4>Bookmarks </H4> |
147 |
147 |
148 <DL> |
148 <DL> |
149 <DD><A HREF="http://www.cwi.nl/~arie/picalc.html"> |
|
150 Pi-calculus</A></DD> |
|
151 <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"> |
152 Survey on linear logic programming languages by Dale Miller</A></DD> |
150 Survey on linear logic programming languages by Dale Miller</A></DD> |
153 <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/"> |
154 Researchers in Rewriting</A> </DD> |
152 Researchers in Rewriting</A> </DD> |
155 <DD><A HREF="http://www.lsv.ens-cachan.fr/rtaloop/"> |
153 <DD><A HREF="http://www.lsv.ens-cachan.fr/rtaloop/"> |
161 </TD> |
159 </TD> |
162 </TR> |
160 </TR> |
163 |
161 |
164 </TABLE> |
162 </TABLE> |
165 <P> |
163 <P> |
166 <!-- hhmts start --> Last modified: Wed Jul 31 05:39:35 BST 2013 <!-- hhmts end --> |
164 <!-- hhmts start --> Last modified: Fri Sep 27 13:02:45 BST 2013 <!-- hhmts end --> |
167 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
165 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
168 </BODY> |
166 </BODY> |
169 </HTML> |
167 </HTML> |
170 |
168 |
171 |
169 |