Pietro Di Gianantonio
发表
Pietro Di Gianantonio,
2004,
CSL.
Furio Honsell,
Gordon D. Plotkin,
Pietro Di Gianantonio,
1994,
CONCUR.
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.
Furio Honsell,
Marina Lenisa,
Pietro Di Gianantonio,
2008,
FoSSaCS.
Pietro Di Gianantonio,
2009
.
Alberto Ciaffaglione,
Luigi Liquori,
Furio Honsell,
2018,
ArXiv.
Furio Honsell,
Marina Lenisa,
Pietro Di Gianantonio,
2008,
Theor. Comput. Sci..
C.-H. Luke Ong,
Pietro Di Gianantonio,
C. Ong,
2002,
Theoretical Computer Science.
Pietro Di Gianantonio,
1997,
ICALP.
Marina Lenisa,
Pietro Di Gianantonio,
2013,
CSL.
Alberto Ciaffaglione,
Pietro Di Gianantonio,
Alberto Ciaffaglione,
2000,
TYPES.
Alberto Ciaffaglione,
Pietro Di Gianantonio,
1999,
TYPES.
Pietro Di Gianantonio,
1999,
Theor. Comput. Sci..
Pietro Di Gianantonio,
Gianluca Franco,
2000,
FSTTCS.
Alberto Ciaffaglione,
Furio Honsell,
Marina Lenisa,
2019,
FSCD.
Furio Honsell,
Marina Lenisa,
Pietro Di Gianantonio,
2008,
Log. Methods Comput. Sci..
Marina Lenisa,
Pietro Di Gianantonio,
Svetlana Jaksic,
2010,
CONCUR.
Furio Honsell,
Marina Lenisa,
Pietro Di Gianantonio,
2009,
WADT.
Furio Honsell,
Pietro Di Gianantonio,
Gianluca Franco,
1999,
TLCA.
C.-H. Luke Ong,
Pietro Di Gianantonio,
2004,
Theor. Comput. Sci..
Furio Honsell,
Pietro Di Gianantonio,
F. Honsell,
1993,
TLCA.
Alberto Ciaffaglione,
Furio Honsell,
Marina Lenisa,
2020,
J. Formaliz. Reason..
Pietro Di Gianantonio,
1993,
MFCS.
Marino Miculan,
Pietro Di Gianantonio,
2004,
FoSSaCS.
Alberto Ciaffaglione,
Pietro Di Gianantonio,
Alberto Ciaffaglione,
2006,
Theor. Comput. Sci..
Abbas Edalat,
Pietro Di Gianantonio,
2013,
FoSSaCS.
Marino Miculan,
Pietro Di Gianantonio,
Marino Miculan,
2002,
TYPES.
Pietro Di Gianantonio,
2001,
TLCA.
Pietro Di Gianantonio,
1996,
Inf. Comput..
Pier Luca Lanzi,
Pietro Di Gianantonio,
P. Lanzi,
2004,
COMETA.
Luigi Liquori,
Furio Honsell,
Pietro Di Gianantonio,
1998,
OOPSLA '98.
Furio Honsell,
Gordon D. Plotkin,
Pietro Di Gianantonio,
1995,
Nord. J. Comput..
Pietro Di Gianantonio,
Claude Stolze,
Marino Miculan,
2021,
FACS.
Alberto Ciaffaglione,
Luigi Liquori,
Furio Honsell,
2021,
J. Object Technol..
Pietro Di Gianantonio,
F. Honsell,
G. Franco,
1999
.
Pietro Di Gianantonio,
2005
.
Furio Honsell,
Marina Lenisa,
Pietro Di Gianantonio,
2008
.
Pietro Di Gianantonio,
2001
.
Pietro Di Gianantonio,
1996
.
Pietro Di Gianantonio,
1996
.
Pietro Di Gianantonio,
G. Franco,
1998
.
Pietro Di Gianantonio,
F. Honsell,
Alberto Ciaffaglione,
2019
.
Pietro Di Gianantonio,
A. Edalat,
Ran Gutin,
2022,
ArXiv.
Pietro Di Gianantonio,
F. Honsell,
2022
.
Pietro Di Gianantonio,
A. Edalat,
Ran Gutin,
2022,
Electronic Notes in Theoretical Informatics and Computer Science.