|
|
|
Selected publications
Yet unpublished or submitted papers
- Phase Semantics and Decidability Results for Elementary and Soft Linear Logics preliminary version, with U. Dal Lago. Manuscript, July 2002.
- (Optimal) duplication is not elementary recursive (journal version), with P. Coppola. A preliminary version appeared in 27th ACM Conference on Principles of Programming Languages, POPL 2000, Boston, January 2000. ACM Press, New York.
- Coherence for sharing proof-nets (journal version), with S. Guerrini, and A. Masini. To appear in Theoretical Computer Science. A preliminary version appeared in RTA-96, LNCS 1103, 215--229.
Published papers
For some of them a preliminary version is available on-line. Please refer to the printed publication for the final version.- Typing lambda terms in elementary logic with linear constraints, with P. Coppola. Conference on Typed Lambda-Calculus and Applications, TLCA01, Springer, Berlin, LNCS 2044, 76--90. Postscript version is here.
- Proof nets, garbage, and computation, (journal version), with Stefano Guerrini and Andrea Masini. In Theoretical Computer Science. vol. 253(2) (2001), pp. 185-237 A preliminary version appeared in Typed Lambda-Calculus and Applications, TLCA97, Springer, Berlin, LNCS 1210, 181--195.
- Modal Logic, Linear Logic, Optimal Lambda-reduction,with Stefano Guerrini and Andrea Masini. in Logic and Foundations of Mathematics, A. Cantini, E. Casari, P. Minari eds., Kluwer, Dordrecht, 1999.
- An analysis of (linear) exponentials based on extended sequents, with Stefano Guerrini and Andrea Masini. In Logic Journal of the IGPL, Vol.6 No. 5, pp. 735-753, 1998. Postscript version is here.
- Experiments in linear natural deduction, with Andrea Masini. In Theoretical Computer Science. vol. 176 (1997), 159--173. Postscript version is here.
- Review of Hyperproof for the Macintosh, by Jon Barwise and John Etchemendy (CSLI Publications, 1994). In Hystory and Philosophy of Logic 17:96-97, 1996. Postscript version is here.
- A computational interpretation of modal proofs, with Andrea Masini, in Proof Theory of Modal Logic, H. Wansing (Ed.), Kluwer, 1996, 213--241. Postscript version is here.
- Review of Truth and Modality for Knowledge Representation, by R. Turner (Pitman, London 1990, and The MIT Press, Cambridge, Mass., 1991). The Journal of Symbolic Logic 61(2):693--696, 1996. Postscript version is here.
- On the fine structure of the exponential rule, with Andrea Masini, in Advances in Linear Logic, J.-Y. Girard, Y. Lafont, L. Regnier (eds), Cambridge University Press, pages 197--210, 1995. Postscript version is here.
- A modal view of linear logic, with Andrea Masini. The Journal of Symbolic Logic, vol 59(1994) no. 3, 888--899. Postscript version is here.
- Proof-functional connectives and realizability, with Franco Barbanera. Archive for Mathematical Logic, vol. 33(1994), 189--211. Postscript version is here.
- E. Boerger, G. Jaeger, H. Kleine-Buening, S. Martini, M.M. Richter, Computer Science Logic, Selected papers of CSL'92, LNCS 702, (Springer-Verlag, Berlin) 1993.
- An Extension of System F with Subtyping, with Luca Cardelli, John C. Mitchell, and Andre Scedrov. Digital Eq. Co. SRC Report 80. Revised version in Information and Computation vol. 109(1994), 4--56; preliminary version in International Conference on Theoretical Aspects of Computer Software, LNCS 526, 750--770. Postcript version is here.