Experiments in linear natural deduction , with Andrea Masini , March 1995. To appear in Theoretical Computer Science . Postscript version is here . 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 .