Publications of V. Bono

BACK TO COATI PUBLICATION INDEX

Publications of V. Bono

Articles in journal or book's 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's 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 COATI PUBLICATION INDEX



Last modified: Fri Oct 20 15:06:06 2017