Alberto Ciaffaglione (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. J. Autom. Reasoning 39(1): 1-47 (2007)

4 Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR 2003: 59-77

3 Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN 2003

Selection of 3 from 8 records - Alberto Ciaffaglione has 6 coauthors

8		Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. J. Autom. Reasoning 39(1): 1-47 (2007)
4		Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR 2003: 59-77
3		Alberto Ciaffaglione, Luigi Liquori, Marino Miculan: Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN 2003