|
MASCOTTE no longer exists => visit the new project-team
Publications of M. Bugliesi
BACK TO MASCOTTE PUBLICATION INDEX
Publications of M. Bugliesi
-
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]
-
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]
-
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]
-
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]
-
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
|
