G. Castagna
发表
R. Nicola,
G. Castagna,
Daniele Varacca,
2004
.
Giuseppe Castagna,
G. Castagna,
Giuseppe Castagna,
1997,
Progress in Theoretical Computer Science.
Giuseppe Castagna,
G. Castagna,
1995,
TOPL.
Giuseppe Castagna,
G. Castagna,
1994
.
Kim B. Bruce,
B. Pierce,
L. Cardelli,
1995
.
M. Dezani-Ciancaglini,
G. Castagna,
Elena Giachino,
2008
.
A Semantics for Stratiied &-early Revised Version of Liens-93-13 a Semantics for a Stratiied &-early
G. Longo,
G. Castagna,
G. Ghelli,
2007
.
G. Castagna,
1994
.
Giuseppe Castagna,
G. Castagna,
1997
.
G. Longo,
G. Castagna,
G. Ghelli,
1993
.
G. Castagna,
Gordon,
2022
.
Ioana Manolescu,
Christoph Koch,
Cong Yu,
2009,
Encyclopedia of Database Systems.
Cong Yu,
Andrew Trotman,
Christoph Koch,
2009,
Encyclopedia of Database Systems.
G. Castagna,
2007
.
G. Castagna,
Véronique Benzaken,
2018
.
G. Castagna,
L. Padovani,
N. Gesbert,
2008,
POPL '08.
Giuseppe Castagna,
G. Castagna,
2009
.
G. Castagna,
M. Bugliesi,
2000
.
M. Dezani-Ciancaglini,
G. Castagna,
Elena Giachino,
2009
.
Giuseppe Castagna,
G. Castagna,
2009,
Lecture Notes in Computer Science.
G. Castagna,
2021,
ArXiv.
G. Castagna,
Mickael Laurent,
2019
.
G. Castagna,
Mickaãńl Laurent,
2019
.
Giuseppe Castagna,
Giorgio Ghelli,
Giuseppe Longo,
1992
.
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
Giuseppe Castagna,
Véronique Benzaken,
Alain Frisch,
2008,
JACM.
Davide Ancona,
Viviana Mascardi,
Luca Padovani,
2016,
Found. Trends Program. Lang..
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2002,
F-WAN@ICALP.
Cosimo Laneve,
Luca Padovani,
Giuseppe Castagna,
2006,
WS-FM.
Giuseppe Castagna,
G. Castagna,
1996,
Formal Aspects of Computing.
Giuseppe Castagna,
Andrew D. Gordon,
G. Castagna,
2017,
POPL 2017.
Luca Padovani,
Giuseppe Castagna,
Nils Gesbert,
2007,
TOPL.
Giuseppe Castagna,
Nils Gesbert,
Luca Padovani Isti,
2007
.
Gang Chen,
Giuseppe Castagna,
G. Castagna,
2001,
Inf. Comput..
John Tang Boyland,
Giuseppe Castagna,
G. Castagna,
1996,
ECOOP.
Giuseppe Castagna,
G. Castagna,
1996
.
Luca Cardelli,
Gary T. Leavens,
Giuseppe Castagna,
1995,
Theory Pract. Object Syst..
Giuseppe Castagna,
G. Castagna,
1995,
Theor. Comput. Sci..
Giuseppe Castagna,
G. Castagna,
1993,
DBPL.
Giuseppe Castagna,
Giuseppe Longo,
Giorgio Ghelli,
1993,
TLCA.
Giuseppe Castagna,
Giuseppe Longo,
Giorgio Ghelli,
1992,
LFP '92.
Giuseppe Castagna,
G. Castagna,
Giuseppe Castagna,
2005,
DBPL.
Giuseppe Castagna,
Véronique Benzaken,
Cédric Miachon,
2005,
PADL.
John Tang Boyland,
Giuseppe Castagna,
G. Castagna,
1997,
OOPSLA '97.
Jan Vitek,
Giuseppe Castagna,
Francesco Zappa Nardelli,
2005,
Inf. Comput..
Giuseppe Castagna,
Véronique Benzaken,
Laurent Daynès,
2018,
WWW.
Giuseppe Castagna,
Victor Lanvin,
Mickael Laurent,
2019,
Sci. Comput. Program..
Giuseppe Castagna,
Victor Lanvin,
G. Castagna,
2017,
Proc. ACM Program. Lang..
Luca Padovani,
Giuseppe Castagna,
Hyeonseung Im,
2014,
POPL.
Giuseppe Castagna,
Alain Frisch,
G. Castagna,
2005,
ICALP.
Giuseppe Castagna,
Véronique Benzaken,
Alain Frisch,
2003,
ICFP '03.
Giuseppe Castagna,
Véronique Benzaken,
Alain Frisch,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
G. Castagna,
Mickaël Laurent,
Kim Nguyen,
2022,
Proc. ACM Program. Lang..
Giuseppe Castagna,
G. Castagna,
2018,
Log. Methods Comput. Sci..
Giuseppe Castagna,
Dario Colazzo,
Alain Frisch,
2005,
ICTCS.
Giuseppe Castagna,
Jeremy G. Siek,
Victor Lanvin,
2019,
IFL.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2001,
FOSAD.
Michele Bugliesi,
Silvia Crafa,
Vladimiro Sassone,
2004
.
Luca Padovani,
Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
2012,
Log. Methods Comput. Sci..
Giuseppe Castagna,
Zhiwu Xu,
G. Castagna,
2011,
ICFP.
Luca Cardelli,
Giuseppe Castagna,
Andrew Phillips,
2006,
Trans. Comp. Sys. Biology.
Giuseppe Castagna,
Véronique Benzaken,
Marwan Burelle,
2003,
ASIAN.
G. Castagna,
M. Bugliesi,
Silvia Crafa,
2002,
F-WAN@ICALP.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2002,
TOSCA.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2001,
TACS.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2004,
TOPL.