MASCOTTE no longer exists => visit the new project-team
Publications of M. Miculan
BACK TO MASCOTTE PUBLICATION INDEX
Publications of M. Miculan
-
A. Ciaffaglione,
L. Liquori,
and M. Miculan.
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.
JAR, Journal of Automated Reasoning,
39:1--47,
2007.
[PDF
] [bibtex-entry]
-
A. Ciaffaglione,
L. Liquori,
and M. Miculan.
Imperative Object-Based Calculi in Co-inductive Type Theories.
In LPAR, International Conference on Logic for Programming Artificial Intelligence and Reasoning,
volume 2850 of Lecture Notes in Computer Science,
pages 59--77,
2003.
[PDF
] [bibtex-entry]
-
A. Ciaffaglione,
L. Liquori,
and M. Miculan.
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.
In MERLIN, International Workshop on Mechanized Reasoning about Languages with Variable Binding,
2003.
ACM.
[PDF
] [bibtex-entry]
BACK TO MASCOTTE PUBLICATION INDEX
Last modified: Thu Oct 10 14:10:02 2013
This document was translated from BibTEX by
bibtex2html
| 
