MASCOTTE no longer exists => visit the new COATI project-team
 

Publications of M. Miculan
BACK TO MASCOTTE PUBLICATION INDEX

Publications of M. Miculan

Articles in journal or book 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 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 MASCOTTE PUBLICATION INDEX




Last modified: Thu Oct 10 14:10:02 2013


This document was translated from BibTEX by bibtex2html