Alberto Ciaffaglione

According to our database, Alberto Ciaffaglione authored at least 22 papers between 1999 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A protoype-based approach to object evolution.

Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori

J. Object Technol., 2021

2019

LF+ in Coq for "fast and loose" reasoning.

Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto

J. Formaliz. Reason., 2019

A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning.

Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2019

lambda!-calculus, Intersection Types, and Involutions.

Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

A prototype-based approach to object reclassification.

Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori

CoRR, 2018

Linear lambda-calculus and Reversible Automatic Combinators.

Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto

CoRR, 2018

The involutions-as-principal types/application-as-unification Analogy.

Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2016

Towards Turing computability via coinduction.

Alberto Ciaffaglione

Sci. Comput. Program., 2016

2015

Mechanizing type environments in weak HOAS.

Alberto Ciaffaglione, Ivan Scagnetto

Theor. Comput. Sci., 2015

2014

A Coinductive Animation of Turing Machines.

Alberto Ciaffaglione

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Internal Adequacy of Bookkeeping in Coq.

Alberto Ciaffaglione, Ivan Scagnetto

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

2012

A weak HOAS approach to the POPLmark Challenge

Alberto Ciaffaglione, Ivan Scagnetto

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

2011

A coinductive semantics of the Unlimited Register Machine

Alberto Ciaffaglione

Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011

2007

Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan

J. Autom. Reason., 2007

2006

A certified, corecursive implementation of exact real numbers.

Alberto Ciaffaglione, Pietro Di Gianantonio

Theor. Comput. Sci., 2006

2005

Proof Methodologies for Behavioural Equivalence in DPI.

Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2003

Certified reasoning on real numbers and objects in co-inductive type theory. (Raisonnement certifié sur les nombres réels et les objets en théorie des types co-inductifs).

Alberto Ciaffaglione

PhD thesis, 2003

Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax.

Alberto Ciaffaglione, Ivan Scagnetto

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Imperative Object-Based Calculi in Co-inductive Type Theories.

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan

Proceedings of the Logic for Programming, 2003

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2000

A Tour with Constructive Real Numbers.

Alberto Ciaffaglione, Pietro Di Gianantonio

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

1999

A Co-inductive Approach to Real Numbers.

Alberto Ciaffaglione, Pietro Di Gianantonio

Proceedings of the Types for Proofs and Programs, 1999