equal
deleted
inserted
replaced
81 a paper on LF by <A HREF="http://www.cs.cmu.edu/~rwh/" target="_top">Harper</A> and |
81 a paper on LF by <A HREF="http://www.cs.cmu.edu/~rwh/" target="_top">Harper</A> and |
82 <A HREF="http://www.cs.cmu.edu/~fp/" target="_top">Pfenning</A>. In the latter paper we found a gap in |
82 <A HREF="http://www.cs.cmu.edu/~fp/" target="_top">Pfenning</A>. In the latter paper we found a gap in |
83 the soundness proof and corrected it (we actually gave three solutions to the problem [6]). Urban |
83 the soundness proof and corrected it (we actually gave three solutions to the problem [6]). Urban |
84 formalised and also corrected the main result of his PhD, a logical relation argument for |
84 formalised and also corrected the main result of his PhD, a logical relation argument for |
85 establishing strong normalisation of cut-elimination in classical logic. Other |
85 establishing strong normalisation of cut-elimination in classical logic. Other |
86 people have used Nominal Isabelle too: |
86 people have used Nominal Isabelle too - see our list of users and projects |
|
87 <A HREF="users.html">here</A> |
87 |
88 |
88 <ul> |
89 <ul> |
89 <li> |
90 <li> |
90 <A HREF="http://www.it.uu.se/katalog/jesperb/" target="_top">Jesper Bengtson</A> |
91 <A HREF="http://www.it.uu.se/katalog/jesperb/" target="_top">Jesper Bengtson</A> |
91 and <A HREF="http://user.it.uu.se/~joachim/" target="_top">Joachim Parrow</A> |
92 and <A HREF="http://user.it.uu.se/~joachim/" target="_top">Joachim Parrow</A> |