[Prev][Next][Index][Thread]
Wrong ftp address in 'Termination of System F-bounded'
-
To: types@dcs.gla.ac.uk
-
Subject: Wrong ftp address in 'Termination of System F-bounded'
-
From: Giorgio Ghelli <ghelli@di.unipi.it>
-
Date: Tue, 16 Nov 93 18:19:37 MET
-
Approved: types@dcs.gla.ac.uk
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
------------------------------------------------------------------------------