equal
deleted
inserted
replaced
359 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">ps</A>] |
359 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">ps</A>] |
360 |
360 |
361 <p><B>Avoiding Equivariance in Alpha-Prolog.</B> (with Cheney) In Proceedings of the 7th |
361 <p><B>Avoiding Equivariance in Alpha-Prolog.</B> (with Cheney) In Proceedings of the 7th |
362 International Conference on Typed Lambda Calculi and Applications (TLCA 2005). |
362 International Conference on Typed Lambda Calculi and Applications (TLCA 2005). |
363 In Volume 3461 of Lecture Notes in Computer Science. Nara, Japan. April 2005. Pages 401-416. |
363 In Volume 3461 of Lecture Notes in Computer Science. Nara, Japan. April 2005. Pages 401-416. |
364 © <A HREF="http://link.springer.de/link/service/series/0558/tocs/t3461.htm">Springer Verlag</A> |
364 © <A HREF="http://link.springer.com/chapter/10.1007%2F11417170_29">Springer Verlag</A> |
365 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/alpha-tlca.ps">ps</A>] |
365 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/alpha-tlca.ps">ps</A>] |
366 </TD> |
366 </TD> |
367 </TR> |
367 </TR> |
368 |
368 |
369 |
369 |
493 </TR> |
493 </TR> |
494 |
494 |
495 |
495 |
496 </TABLE> |
496 </TABLE> |
497 <P> |
497 <P> |
498 <!-- hhmts start --> Last modified: Tue Sep 3 14:11:12 BST 2013 <!-- hhmts end --> |
498 <!-- hhmts start --> Last modified: Tue Sep 3 14:30:04 BST 2013 <!-- hhmts end --> |
499 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
499 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
500 |
500 |
501 </BODY> |
501 </BODY> |
502 </HTML> |
502 </HTML> |