|
|
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.
|