Alberto Ciaffaglione

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 9

Top Venues

CoRR

J. Formaliz. Reason.

FSCD

LFMTP@LICS

National Polytechnic Institute of Lorraine, Nancy, France (PHD)

Education History

National Polytechnic Institute of Lorraine, Nancy, France

PHD

Publications

Alberto Ciaffaglione, Carlos Olarte
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. CoRR (2023)
Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
A protoype-based approach to object evolution. J. Object Technol. 20 (2) (2021)
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning. LFMTP@LICS (2019)
Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
lambda!-calculus, Intersection Types, and Involutions. FSCD (2019)
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
LF+ in Coq for "fast and loose" reasoning. J. Formaliz. Reason. 12 (1) (2019)
Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
A prototype-based approach to object reclassification. CoRR (2018)
Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
The involutions-as-principal types/application-as-unification Analogy. LPAR (2018)
Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
Linear lambda-calculus and Reversible Automatic Combinators. CoRR (2018)
Alberto Ciaffaglione
Towards Turing computability via coinduction. Sci. Comput. Program. 126 (2016)
Alberto Ciaffaglione, Ivan Scagnetto
Mechanizing type environments in weak HOAS. Theor. Comput. Sci. 606 (2015)
Alberto Ciaffaglione
A Coinductive Animation of Turing Machines. SBMF (2014)
Alberto Ciaffaglione, Ivan Scagnetto
Internal Adequacy of Bookkeeping in Coq. LFMTP (2014)
Alberto Ciaffaglione, Ivan Scagnetto
A weak HOAS approach to the POPLmark Challenge LSFA (2012)
Alberto Ciaffaglione
A coinductive semantics of the Unlimited Register Machine INFINITY (2011)
Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. J. Autom. Reason. 39 (1) (2007)
Alberto Ciaffaglione, Pietro Di Gianantonio
A certified, corecursive implementation of exact real numbers. Theor. Comput. Sci. 351 (1) (2006)
Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke
Proof Methodologies for Behavioural Equivalence in DPI. FORTE (2005)
Alberto Ciaffaglione, Ivan Scagnetto
Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax. Electron. Notes Theor. Comput. Sci. 104 (2004)
Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR (2003)
Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN (2003)
Alberto Ciaffaglione, Pietro Di Gianantonio
A Tour with Constructive Real Numbers. TYPES (2000)
Alberto Ciaffaglione, Pietro Di Gianantonio
A Co-inductive Approach to Real Numbers. TYPES (1999)

Alberto Ciaffaglione.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alberto Ciaffaglione