Studying Curry's type-assignment as a logic program , with Dino Pedreschi . Postscript version is here . Postscript version is here . Postscript version is here . Postscript version is here .
Postscript version is here .
Modal logic, linear logic, optimal lambda-reduction , with Andrea Masini and Stefano Guerrini . Abstract for the International Conference on Logic, Methodology and Philosophy of Science , Florence, August 1995. Published in 1994 A modal view of linear logic, with Andrea Masini. Postscript version is here . Proof-functional connectives and realizability, with Franco Barbanera .