BACK TO MASCOTTE PUBLICATION INDEX
Publications of F. Honsell
-
F. Honsell,
M. Lenisa,
and L. Liquori.
A Framework for Defining Logical Frameworks.
Electronic Notes in Theoretical Computer Science,
172:399 - 436,
2007.
Note: Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin.
[WWW
] [PDF
] [Abstract] [bibtex-entry]
-
L. Liquori,
F. Honsell,
and R. Redamalla.
A Language for Verification and Manipulation of Web Documents.
In Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005),
volume 157 of Electronic Notes in Theoretical Computer Science,
pages 67--78,
2006.
Elsevier.
[bibtex-entry]
-
P. Di Gianantonio,
F. Honsell,
and L. Liquori.
A Lambda Calculus of Objects with Self-inflicted Extension.
In Proc. of ACM-SIGPLAN OOPSLA, International Symposium on Object Oriented, Programming, System, Languages and Applications,
pages 166--178,
1998.
The ACM Press.
[POSTSCRIPT
] [bibtex-entry]
-
M. Lenisa,
F. Honsell,
and L. Liquori.
A Framework for Defining Logical Frameworks.
Research Report,
RR INRIA and University of Udine,
2006.
[WWW
] [bibtex-entry]
BACK TO MASCOTTE PUBLICATION INDEX
Last modified: Thu Oct 10 14:10:01 2013
This document was translated from BibTEX by
bibtex2html