equal
deleted
inserted
replaced
143 <A HREF="http://homepages.inf.ed.ac.uk/jcheney/" target="_top">James Cheney</A> |
143 <A HREF="http://homepages.inf.ed.ac.uk/jcheney/" target="_top">James Cheney</A> |
144 formalised a number of properties of the meta-theory of mini-XQuery in Nominal Isabelle. |
144 formalised a number of properties of the meta-theory of mini-XQuery in Nominal Isabelle. |
145 The plan is to extend this work to full XQuery. The preliminary results appeared at CPP'11. |
145 The plan is to extend this work to full XQuery. The preliminary results appeared at CPP'11. |
146 |
146 |
147 <li> |
147 <li> |
148 <A HREF="http://www.score.cs.tsukuba.ac.jp/~kaliszyk" target="_top">Cezary Kaliszyk</A> |
148 <A HREF="http://cl-informatik.uibk.ac.at/users/cek/" target="_top">Cezary Kaliszyk</A> |
149 with input from Henk Barendregt formalised the second fixed point theorem |
149 with input from Henk Barendregt formalised the second fixed point theorem |
150 of the lambda calculus using Nominal Isabelle 2. This work appeared at CPP'11. |
150 of the lambda calculus using Nominal Isabelle 2. This work appeared at CPP'11. |
151 |
151 |
152 <li> |
152 <li> |
153 <A HREF="http://www.joachim-breitner.de/blog/" target="_top">Joachim Breitner</A> |
153 <A HREF="http://www.joachim-breitner.de/blog/" target="_top">Joachim Breitner</A> |