MASCOTTE no longer exists => visit the new project-team
Publications of G. Castagna
BACK TO MASCOTTE PUBLICATION INDEX
Publications of G. Castagna
-
L. Liquori and G. Castagna.
A Typed Lambda Calculus of Objects.
In Asian, International Conference on Concurrency and Parallelism, Programming, Networking, and Security,
volume 1179 of Lecture Notes in Computer Science,
pages 129--141,
1996.
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
|