equal
deleted
inserted
replaced
25 collection about nominal techniques compiled by Dominic Mulligan (supersedes |
25 collection about nominal techniques compiled by Dominic Mulligan (supersedes |
26 the collection below). |
26 the collection below). |
27 <BR><BR> |
27 <BR><BR> |
28 |
28 |
29 |
29 |
30 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/NomBib/nominal.html" target="_top">Here</A> |
30 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/NomBib/nominal.html" target="_top">Here</A> |
31 is a bibliography of publications related to the nominal logic work. |
31 is a bibliography of publications related to the nominal logic work. |
32 |
32 |
33 </body> |
33 </body> |
34 </html> |
34 </html> |