217 <A HREF="http://en.wikipedia.org/wiki/Alexander_von_Humboldt">Alexander-von-Humboldt</A> |
217 <A HREF="http://en.wikipedia.org/wiki/Alexander_von_Humboldt">Alexander-von-Humboldt</A> |
218 <A HREF="http://www.humboldt-foundation.de/web/home.html">foundation</A>. During this time I was a visitor in the group of |
218 <A HREF="http://www.humboldt-foundation.de/web/home.html">foundation</A>. During this time I was a visitor in the group of |
219 <A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Prof. Helmut Schwichtenberg</A>. |
219 <A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Prof. Helmut Schwichtenberg</A>. |
220 Since 2006 this work is supported by an |
220 Since 2006 this work is supported by an |
221 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> |
221 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> |
222 <A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</A>. |
222 <A HREF="https://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/">fellowship</A>. |
223 There is a <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/">webpage</A> and a |
223 There is a <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/">webpage</A> and a |
224 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> |
224 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> |
225 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle. |
225 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle. |
226 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM, |
226 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM, |
227 the Haskell Symposium and |
227 the Haskell Symposium and |