Publications of A. Ciaffaglione
BACK TO COATI PUBLICATION INDEXPublications of A. Ciaffaglione
| Articles in journal or book's chapters |
-
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]
| Conference's articles |
-
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 COATI PUBLICATION INDEX
Last modified: Sat Jan 29 19:00:43 2022