[Prev][Next][Index][Thread]

Wrong ftp address in 'Termination of System F-bounded'




I'm sorry, I have given wrong ftp instructions in my previous message
'Termination of System F-bounded'.

The correct ftp address and directory are:

    ftp.di.unipi.it , directory  pub/Papers/ghelli.

Thanks to all who pointed the problem out to me.

Giorgio Ghelli



------------------------------------------------------------------------------
Giorgio Ghelli,    Universita' di Pisa, Dipartimento di Informatica,
                         Corso Italia 40, I-56125, Pisa, ITALY
E-mail: ghelli@di.unipi.it;  Phone: +39-50-510258;    Fax: +39-50-510226 
------------------------------------------------------------------------------