Publications of M. Bugliesi

1. M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli. Object Calculi in Linear Logic. Journal of Logic and Computation, 10(1):75--104, 2000. [POSTSCRIPT ] [bibtex-entry]


2. V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. Subtyping for Extensible, Incomplete Objects. Fundamenta Informaticae, 38(4):325--364, 1999. [POSTSCRIPT ] [bibtex-entry]

1. V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. Subtyping Constraint for Incomplete Objects. In TAPSOFT/CAAP, International Conference of Theory and Practice of Software Development, volume 1214 of Lecture Notes in Computer Science, pages 465--477, 1997. Springer Verlag. [POSTSCRIPT ] [bibtex-entry]


2. V. Bono, M. Bugliesi, and L. Liquori. A Lambda Calculus of Incomplete Objects. In MFCS, International Symposium of Mathematical Foundation of Computer Science, volume 1113 of Lecture Notes in Computer Science, pages 218--229, 1996. Springer Verlag. [POSTSCRIPT ] [bibtex-entry]


3. M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli. A Linear Logic Calculus of Objects. In The MIT Press, editor, JICSLP, Joint International Conference and Symposium on Logic Programming, pages 67--81, 1996. [POSTSCRIPT ] [bibtex-entry]

This document was translated from BibT_EX by bibtex2html