164 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
164 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
165 <B>Nominal Isabelle</B> |
165 <B>Nominal Isabelle</B> |
166 I currently work on Nominal |
166 I currently work on Nominal |
167 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This is joint work with |
167 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This is joint work with |
168 <A HREF="http://wwwbroy.in.tum.de/~berghofe/">Dr Stefan Berghofer</A>, |
168 <A HREF="http://wwwbroy.in.tum.de/~berghofe/">Dr Stefan Berghofer</A>, |
169 <A HREF="http://www4.in.tum.de/~wenzelm/">Dr Markus Wenzel</A>, |
169 <A HREF="https://www.lri.fr/~wenzel/">Dr Markus Wenzel</A>, |
170 <A HREF="http://www4.in.tum.de/~kaliszyk/">Dr Cezary Kaliszyk</A> and |
170 <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Dr Cezary Kaliszyk</A>, |
|
171 <A HREF="http://user.it.uu.se/~tjawe125/">Dr Tjark Weber</A> and |
171 the Isabelle-team in Munich. |
172 the Isabelle-team in Munich. |
172 Many of the theoretical ideas originate from the nominal logic project - a wonderful project headed |
173 Many of the theoretical ideas originate from the nominal logic project - a wonderful project headed |
173 by <A HREF="http://www.cl.cam.ac.uk/~amp12/">Prof. Andrew Pitts</A>. |
174 by <A HREF="http://www.cl.cam.ac.uk/~amp12/">Prof. Andrew Pitts</A>. |
174 The aim of my work is to make formal reasoning involving binders as simple as |
175 The aim of my work is to make formal reasoning involving binders as simple as |
175 on paper and the hope is to lure |
176 on paper and the hope is to lure |