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

Publications of V. Bono
BACK TO MASCOTTE PUBLICATION INDEX

Publications of V. Bono

Articles in journal or book chapters
  1. 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. V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In CSL, International Conference of Computer Science Logic, volume 933 of Lecture Notes in Computer Science, pages 16--30, 1995. Springer Verlag. [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