Giuseppe Rosolini
发表
Dusko Pavlovic,
Martin Hofmann,
Giuseppe Rosolini,
1999
.
Lars Birkedal,
Giuseppe Rosolini,
Dana S. Scott,
1999,
Electron. Notes Theor. Comput. Sci..
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Giuseppe Rosolini,
2008,
Ann. Pure Appl. Log..
Giuseppe Rosolini,
John Power,
1998,
ICALP.
Giuseppe Rosolini,
Paolo Gentilini,
Maurizio Martelli,
2013,
CILC.
Lars Birkedal,
Martín Hötzel Escardó,
Giuseppe Rosolini,
2004,
Theor. Comput. Sci..
Thomas Streicher,
Giuseppe Rosolini,
1999,
Electron. Notes Theor. Comput. Sci..
Roberto Gorrieri,
Giuseppe Rosolini,
Pierpaolo Degano,
1992,
REX Workshop.
Edmund Robinson,
Giuseppe Rosolini,
Martin Hyland,
1989,
Mathematical Foundations of Programming Semantics.
Giuseppe Rosolini,
Dana S. Scott,
Peter J. Freyd,
1992,
Inf. Comput..
Dusko Pavlovic,
Giuseppe Rosolini,
Martin Hofmann,
1999,
CTCS.
Edmund Robinson,
Giuseppe Rosolini,
E. Robinson,
2001,
CSL.
Edmund Robinson,
Giuseppe Rosolini,
E. Robinson,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Giuseppe Rosolini,
Michael Makkai,
1997,
MFPS.
Giuseppe Rosolini,
1990,
Int. J. Found. Comput. Sci..
Giuseppe Rosolini,
Maria Emilia Maietti,
2015,
Appl. Categorical Struct..
Giuseppe Rosolini,
G. Rosolini,
1987,
Category Theory and Computer Science.
Edmund Robinson,
Giuseppe Rosolini,
Peter J. Freyd,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Giuseppe Rosolini,
Marcelo P. Fiore,
1997,
MFPS.
Lars Birkedal,
Giuseppe Rosolini,
Dana S. Scott,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Giuseppe Rosolini,
John Power,
Martin Hyland,
2006,
MFCSIT.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Giuseppe Rosolini,
2005,
MFPS.
Giuseppe Rosolini,
G. Rosolini,
1991,
MFPS.
Giuseppe Rosolini,
Maria Emilia Maietti,
2013,
Logica Universalis.
Giuseppe Rosolini,
Fabio Pasquali,
Maria Emilia Maietti,
2019
.
Giuseppe Rosolini,
Anna Bucalo,
2006,
Ann. Pure Appl. Log..
Giuseppe Rosolini,
Marco B. Caminati,
2012,
Journal of Automated Reasoning.
Giuseppe Rosolini,
Anna Bucalo,
2005,
From sets and types to topology and analysis.
Giuseppe Rosolini,
Eugenio Moggi,
1997
.
Edmund Robinson,
Giuseppe Rosolini,
E. Robinson,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Giuseppe Rosolini,
Marcelo P. Fiore,
2001,
Theor. Comput. Sci..
Edmund Robinson,
Giuseppe Rosolini,
1988,
Inf. Comput..
Edmund Robinson,
Giuseppe Rosolini,
Peter Freyd,
1992
.
Giuseppe Rosolini,
Anna Bucalo,
G. Rosolini,
2014,
Theor. Comput. Sci..
Fabio A. Schreiber,
Giuseppe Rosolini,
F. Schreiber,
1988,
Inf. Process. Lett..
Giuseppe Rosolini,
Dana S. Scott,
Peter J. Freyd,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Giuseppe Rosolini,
G. Rosolini,
2008
.
Giuseppe Rosolini,
Alessio Santamaria,
Giulia Frosoni,
2019,
J. Log. Anal..
Giuseppe Rosolini,
John Power,
J. Power,
2002,
Theor. Comput. Sci..
Edmund Robinson,
Giuseppe Rosolini,
E. Robinson,
1990,
Journal of Symbolic Logic.
Giuseppe Rosolini,
Eugenio Moggi,
1997,
Lecture Notes in Computer Science.
Giuseppe Rosolini,
Francesco Dagnino,
2021,
Mathematical Structures in Computer Science.
Giuseppe Rosolini,
Fabio Pasquali,
Maria Emilia Maietti,
2021,
2111.15299.
Giuseppe Rosolini,
Eugenio Moggi,
1997
.
Giuseppe Rosolini,
Anna Bucalo,
G. Rosolini,
1998
.
Giuseppe Rosolini,
A. Carboni,
2000
.
Giuseppe Rosolini,
John Power,
Martin Hyland,
2006
.
Giuseppe Rosolini,
Maria Emilia Maietti,
G. Rosolini,
2012,
1206.0162.
Giuseppe Rosolini,
Marcelo Fiore,
1997
.
Giuseppe Rosolini,
Alex Simpson,
A. Simpson,
2004
.