MASCOTTE no longer exists => visit the new COATI project-team
 

Publications of M. Bugliesi
BACK TO MASCOTTE PUBLICATION INDEX

Publications of M. Bugliesi

Articles in journal or book chapters
  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]

Conference articles
  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]


BACK TO MASCOTTE PUBLICATION INDEX




Last modified: Thu Oct 10 14:10:01 2013


This document was translated from BibTEX by bibtex2html