Alberto Ciaffaglione
发表
Alberto Ciaffaglione,
Alberto Ciaffaglione,
2003
.
A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning
pdf
Alberto Ciaffaglione,
Furio Honsell,
Marina Lenisa,
2019,
LFMTP@LICS.
Alberto Ciaffaglione,
Ivan Scagnetto,
2014,
LFMTP '14.
Alberto Ciaffaglione,
Luigi Liquori,
Furio Honsell,
2018,
ArXiv.
Alberto Ciaffaglione,
Luigi Liquori,
Marino Miculan,
2007,
Journal of Automated Reasoning.
Alberto Ciaffaglione,
Furio Honsell,
Marina Lenisa,
2018,
ArXiv.
Julian Rathke,
Alberto Ciaffaglione,
Matthew Hennessy,
2005,
FORTE.
Alberto Ciaffaglione,
Pietro Di Gianantonio,
Alberto Ciaffaglione,
2000,
TYPES.
Alberto Ciaffaglione,
Alberto Ciaffaglione,
2016,
Sci. Comput. Program..
Alberto Ciaffaglione,
Pietro Di Gianantonio,
1999,
TYPES.
Alberto Ciaffaglione,
Furio Honsell,
Marina Lenisa,
2019,
FSCD.
Alberto Ciaffaglione,
Ivan Scagnetto,
2015,
Theor. Comput. Sci..
Alberto Ciaffaglione,
Ivan Scagnetto,
Alberto Ciaffaglione,
2013,
LSFA.
Alberto Ciaffaglione,
Alberto Ciaffaglione,
2011,
INFINITY.
Alberto Ciaffaglione,
Alberto Ciaffaglione,
2014,
SBMF.
Alberto Ciaffaglione,
Ivan Scagnetto,
2004,
Electron. Notes Theor. Comput. Sci..
Alberto Ciaffaglione,
Luigi Liquori,
Olivier Zendra,
2002
.
Alberto Ciaffaglione,
Luigi Liquori,
Olivier Zendra,
2002
.
Alberto Ciaffaglione,
Furio Honsell,
Marina Lenisa,
2020,
J. Formaliz. Reason..
Alberto Ciaffaglione,
Pietro Di Gianantonio,
Alberto Ciaffaglione,
2006,
Theor. Comput. Sci..
Alberto Ciaffaglione,
Luigi Liquori,
Marino Miculan,
2003,
LPAR.
Alberto Ciaffaglione,
Furio Honsell,
Marina Lenisa,
2018,
LPAR.
Alberto Ciaffaglione,
Luigi Liquori,
Marino Miculan,
2003,
MERLIN '03.
Alberto Ciaffaglione,
Furio Honsell,
Marina Lenisa,
2018
.
Alberto Ciaffaglione,
Luigi Liquori,
Furio Honsell,
2021,
J. Object Technol..
Julian Rathke,
Alberto Ciaffaglione,
Matthew Hennessy,
2005
.