equal
deleted
inserted
replaced
200 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nominal-atoms.pdf">pdf</A>] |
200 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nominal-atoms.pdf">pdf</A>] |
201 |
201 |
202 <p><B>Mechanizing the Metatheory of LF.</B> (with Cheney and Berghofer) |
202 <p><B>Mechanizing the Metatheory of LF.</B> (with Cheney and Berghofer) |
203 In <A HREF="http://doi.acm.org/10.1145/1877714.1877721"> |
203 In <A HREF="http://doi.acm.org/10.1145/1877714.1877721"> |
204 ACM Transactions on Computational Logic</A>, Vol 12(2), Pages 15:1 - 15:42, 2011. |
204 ACM Transactions on Computational Logic</A>, Vol 12(2), Pages 15:1 - 15:42, 2011. |
205 [<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/">technical report</A>] |
205 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/">technical report</A>] |
206 |
206 |
207 <p><B>Nominal Unification Revisited.</B> |
207 <p><B>Nominal Unification Revisited.</B> |
208 (invited paper) In Proceedings of the 24th Workshop on Unification (UNIF 2010). |
208 (invited paper) In Proceedings of the 24th Workshop on Unification (UNIF 2010). |
209 In Volume 42 of Electronic Proceedings in Theoretical Computer Science. Pages 1-11, 2010. |
209 In Volume 42 of Electronic Proceedings in Theoretical Computer Science. Pages 1-11, 2010. |
210 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/univ-10.pdf">pdf</A>] |
210 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/univ-10.pdf">pdf</A>] |
507 </TR> |
507 </TR> |
508 |
508 |
509 |
509 |
510 </TABLE> |
510 </TABLE> |
511 <P> |
511 <P> |
512 <!-- hhmts start --> Last modified: Thu Apr 7 23:12:27 BST 2016 <!-- hhmts end --> |
512 <!-- hhmts start --> Last modified: Sun Apr 10 20:45:14 BST 2016 <!-- hhmts end --> |
513 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
513 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
514 |
514 |
515 </BODY> |
515 </BODY> |
516 </HTML> |
516 </HTML> |