N. Gambino
发表
N. Gambino,
Joachim Kock,
2009,
Mathematical Proceedings of the Cambridge Philosophical Society.
N. Gambino,
2010
.
Nicola Gambino,
Christian Sattler,
N. Gambino,
2015,
1510.00669.
Nicola Gambino,
N. Gambino,
2002
.
N. Gambino,
Christian Sattler,
Karol Szumilo,
2019,
1907.05394.
N. Gambino,
Gabriele Lobbia,
2019
.
N. Gambino,
Joachim Kock,
2009
.
Thomas M. Fiore,
N. Gambino,
Joachim Kock,
2011,
1105.6206.
Thomas M. Fiore,
N. Gambino,
Joachim Kock,
2010,
1006.0797.
Richard Garner,
N. Gambino,
Christina Vasilakopoulou,
2022,
2206.06858.
March,
N. Gambino,
Christian Sattler,
2021
.
N. Gambino,
M. Larrea,
2019
.
N. Gambino,
D. Occhetti,
A. Travi,
2018
.
Nicola Gambino,
Steve Awodey,
Kristina Sojakova,
2015,
1504.05531.
N. Gambino,
Christian Sattler,
Simon Henry,
2021,
Forum of Mathematics, Sigma.
N. Gambino,
2008,
Mathematical Proceedings of the Cambridge Philosophical Society.
Nicola Gambino,
Andr'e Joyal,
A. Joyal,
2014,
1405.7270.
Glynn Winskel,
Martin Hyland,
Nicola Gambino,
2016,
1612.03678.
Nicola Gambino,
N. Gambino,
2006,
Ann. Pure Appl. Log..
Richard Garner,
Nicola Gambino,
Richard Garner,
2008,
Theor. Comput. Sci..
Stefano Berardi,
Tristan Crolard,
Arnaud Fleury,
2006
.
Martin Hyland,
Nicola Gambino,
M. Hyland,
2003,
TYPES.
N. Gambino,
N. GAMBINO,
2009,
0907.1359.
N. Gambino,
Simon Henry,
2019,
Journal of the London Mathematical Society.
Peter Aczel,
Nicola Gambino,
P. Aczel,
2006,
Journal of Symbolic Logic.
Peter Aczel,
Nicola Gambino,
P. Aczel,
2000,
TYPES.
Nicola Gambino,
N. Gambino,
2005,
From sets and types to topology and analysis.
Steven Awodey,
Nicola Gambino,
Kristina Sojakova,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
N. Gambino,
M. Larrea,
2019,
The Journal of Symbolic Logic.
Steven Awodey,
Peter LeFanu Lumsdaine,
Nicola Gambino,
2007,
The Journal of Symbolic Logic.