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 . Archive for Mathematical Logic, vol.
Postscript version is here .
An Extension of System F with Subtyping , with Luca Cardelli , John C. Mitchell , and Andre Scedrov . Co. SRC Report 80. Revised version in Information and Computation vol.