Publications of A. Ciaffaglione

BACK TO COATI PUBLICATION INDEX

Publications of A. Ciaffaglione

Articles in journal or book's chapters
  1. 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
  1. 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]
     
  2. 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