equal
deleted
inserted
replaced
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> |
378 <p> |
379 This paper is superseded by the journal version in 2008. |
379 (This paper is superseded by the journal version in 2007.) |
380 </TD> |
380 </TD> |
381 </TR> |
381 </TR> |
382 |
382 |
383 |
383 |
384 <TR> |
384 <TR> |
503 </TR> |
503 </TR> |
504 |
504 |
505 |
505 |
506 </TABLE> |
506 </TABLE> |
507 <P> |
507 <P> |
508 <!-- hhmts start --> Last modified: Fri Jun 12 21:54:20 BST 2015 <!-- hhmts end --> |
508 <!-- hhmts start --> Last modified: Fri Jun 12 21:55:58 BST 2015 <!-- hhmts end --> |
509 <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> |
510 |
510 |
511 </BODY> |
511 </BODY> |
512 </HTML> |
512 </HTML> |