Giulio Manzonetto
发表
Giulio Manzonetto,
2010,
ArXiv.
Giulio Manzonetto,
Giulio Manzonetto,
2009,
MFCS.
Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto,
2009,
LFCS.
Giulio Manzonetto,
Guy McCusker,
James Laird,
2013,
Inf. Comput..
Giulio Manzonetto,
Hendrik Pieter Barendregt,
Mai Gehrke,
2012,
ICALP.
Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto,
2007,
CSL.
Giulio Manzonetto,
Paolo Tranquilli,
2010,
MFCS.
Giulio Manzonetto,
Antonino Salibra,
Giulio Manzonetto,
2008,
MFCS.
Giulio Manzonetto,
Giulio Manzonetto,
2010,
Mathematical Structures in Computer Science.
Giulio Manzonetto,
A. Bucciarelli,
T. Ehrhard,
2010
.
Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto,
2012,
Ann. Pure Appl. Log..
Giulio Manzonetto,
Michele Pagani,
Simona Ronchi Della Rocca,
2019,
Fundam. Informaticae.
Giulio Manzonetto,
Guy McCusker,
James Laird,
2011,
ICALP.
Giulio Manzonetto,
Michele Pagani,
Alejandro Díaz-Caro,
2013,
LFCS.
Giulio Manzonetto,
Flavien Breuvart,
Andrew Polonsky,
2016,
FSCD.
Giulio Manzonetto,
Michele Pagani,
Giulio Manzonetto,
2011,
TLCA.
Giulio Manzonetto,
Benedetto Intrigila,
Andrew Polonsky,
2018,
Log. Methods Comput. Sci..
Giulio Manzonetto,
Antonino Salibra,
Chantal Berline,
2009,
Math. Struct. Comput. Sci..
Giulio Manzonetto,
Antonino Salibra,
Giulio Manzonetto,
2010,
J. Log. Comput..
Giulio Manzonetto,
Benedetto Intrigila,
Andrew Polonsky,
2017,
FSCD.
Giulio Manzonetto,
Rinus Plasmeijer,
Henk Barendregt,
2013
.
Giulio Manzonetto,
Domenico Ruoppolo,
Giulio Manzonetto,
2014,
MFPS.
Giulio Manzonetto,
Flavien Breuvart,
Domenico Ruoppolo,
2017,
Log. Methods Comput. Sci..
Giulio Manzonetto,
Michele Pagani,
Guy McCusker,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Giulio Manzonetto,
Michele Pagani,
Emma Kerinec,
2018,
Log. Methods Comput. Sci..
Giulio Manzonetto,
Giulio Guerrieri,
Giulio Guerrieri,
2019,
Linearity-TLLA@FLoC.
Giulio Manzonetto,
Antonino Salibra,
Giulio Manzonetto,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Giulio Manzonetto,
Antonino Salibra,
Chantal Berline,
2007,
CSL.
Giulio Manzonetto,
Jakob Grue Simonsen,
Alexis Saurin,
2019,
J. Log. Comput..
Giulio Manzonetto,
Paolo Tranquilli,
2012,
Theor. Comput. Sci..
Giulio Manzonetto,
Davide Barbarossa,
Giulio Manzonetto,
2019,
Proc. ACM Program. Lang..
Giulio Manzonetto,
Giulio Manzonetto,
2009,
ArXiv.
Antonio Bucciarelli,
Alberto Carraro,
Thomas Ehrhard,
2012,
Log. Methods Comput. Sci..
Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto,
2010,
MFPS.
Giulio Manzonetto,
Antonino Salibra,
Giordano Favro,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Giulio Manzonetto,
Benedetto Intrigila,
Giuseppe Della Penna,
2021,
ArXiv.
Giulio Manzonetto,
Simona Ronchi Della Rocca,
Axel Kerinec,
2021,
FSCD.
Giulio Manzonetto,
Henk Barendregt,
2013
.
Giulio Manzonetto,
Antonino Salibra,
2009
.
Giulio Manzonetto,
Mai Gehrke,
Henk Barendregt,
2012
.
Giulio Manzonetto,
Antonino Salibra,
Giulio Manzonetto,
2008
.