equal
deleted
inserted
replaced
373 <p><B>Avoiding Equivariance in Alpha-Prolog.</B> (with Cheney) In Proceedings of the 7th |
373 <p><B>Avoiding Equivariance in Alpha-Prolog.</B> (with Cheney) In Proceedings of the 7th |
374 International Conference on Typed Lambda Calculi and Applications (TLCA 2005). |
374 International Conference on Typed Lambda Calculi and Applications (TLCA 2005). |
375 In Volume 3461 of Lecture Notes in Computer Science. Nara, Japan. April 2005. Pages 401-416. |
375 In Volume 3461 of Lecture Notes in Computer Science. Nara, Japan. April 2005. Pages 401-416. |
376 © <A HREF="http://link.springer.com/chapter/10.1007%2F11417170_29">Springer Verlag</A> |
376 © <A HREF="http://link.springer.com/chapter/10.1007%2F11417170_29">Springer Verlag</A> |
377 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/alpha-tlca.ps">ps</A>] |
377 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/alpha-tlca.ps">ps</A>] |
|
378 <p> |
|
379 This paper is superseded by the journal version in 2008. |
378 </TD> |
380 </TD> |
379 </TR> |
381 </TR> |
380 |
382 |
381 |
383 |
382 <TR> |
384 <TR> |
501 </TR> |
503 </TR> |
502 |
504 |
503 |
505 |
504 </TABLE> |
506 </TABLE> |
505 <P> |
507 <P> |
506 <!-- hhmts start --> Last modified: Tue Sep 2 16:38:54 BST 2014 <!-- hhmts end --> |
508 <!-- hhmts start --> Last modified: Fri Jun 12 21:54:20 BST 2015 <!-- hhmts end --> |
507 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
509 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
508 |
510 |
509 </BODY> |
511 </BODY> |
510 </HTML> |
512 </HTML> |