equal
deleted
inserted
replaced
81 Representation of Binders (Preliminary Notes).</B> (with Pollack) A shorter version |
81 Representation of Binders (Preliminary Notes).</B> (with Pollack) A shorter version |
82 of this paper was accepted at WMM'07. |
82 of this paper was accepted at WMM'07. |
83 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Publications/ln.pdf">pdf</A>] |
83 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Publications/ln.pdf">pdf</A>] |
84 </TD> |
84 </TD> |
85 </TR> |
85 </TR> |
86 <TR> |
86 |
87 |
87 <TR> |
88 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
88 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
89 <H3>2011</H3> |
89 <H3>2011</H3> |
90 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> |
90 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> |
91 (with Kaliszyk) |
91 (with Kaliszyk) |
92 In Proceedings of the 20th European Symposium on Programming (ESOP 2011). |
92 In Proceedings of the 20th European Symposium on Programming (ESOP 2011). |
108 Pages 1639-1644. |
108 Pages 1639-1644. |
109 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Publications/sac-11.pdf">pdf</A>] |
109 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Publications/sac-11.pdf">pdf</A>] |
110 </TD> |
110 </TD> |
111 </TR> |
111 </TR> |
112 |
112 |
|
113 <TR> |
113 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
114 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
114 <H3>2010</H3> |
115 <H3>2010</H3> |
115 <p><B>Proof Pearl: A New Foundation for Nominal Isabelle.</B> (with Huffman) |
116 <p><B>Proof Pearl: A New Foundation for Nominal Isabelle.</B> (with Huffman) |
116 In Proceedings of the 1st Conference on Interactive Theorem Proving (ITP 2010). |
117 In Proceedings of the 1st Conference on Interactive Theorem Proving (ITP 2010). |
117 In Volume 6172 of Lecture Notes in Computer Science. Pages 35-50. |
118 In Volume 6172 of Lecture Notes in Computer Science. Pages 35-50. |
129 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Publications/univ-10.pdf">pdf</A>] |
130 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Publications/univ-10.pdf">pdf</A>] |
130 |
131 |
131 </TD> |
132 </TD> |
132 </TR> |
133 </TR> |
133 |
134 |
|
135 <TR> |
134 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
136 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
135 <H3>2009</H3> |
137 <H3>2009</H3> |
136 <p><B>Nominal Formalisations of Typical SOS Proofs.</B> |
138 <p><B>Nominal Formalisations of Typical SOS Proofs.</B> |
137 (with Narboux) In Proceedings of the 3rd Workshop on Logical and Semantic |
139 (with Narboux) In Proceedings of the 3rd Workshop on Logical and Semantic |
138 Frameworks with Applications (LFSA'08). Electronic |
140 Frameworks with Applications (LFSA'08). Electronic |
417 |
419 |
418 |
420 |
419 </TABLE> |
421 </TABLE> |
420 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
422 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
421 <!-- hhmts start --> |
423 <!-- hhmts start --> |
422 Last modified: Tue Sep 20 16:01:02 CEST 2011 |
424 Last modified: Sat Oct 22 12:22:32 BST 2011 |
423 <!-- hhmts end --> |
425 <!-- hhmts end --> |
424 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
426 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
425 </BODY> |
427 </BODY> |
426 </HTML> |
428 </HTML> |