In my last message about a paper available by ftp, I made a mistake
about the name of the journal which is going to publish it.
It is not "Acta informatica" but
"FUNDAMENTA INFORMATICAE".
I am really sorry.
I also forgot to give the title of the paper. Here it is:
Linear Logic, Comonads, and Optimal Reductions.
Cheers.
-- andrea