Personal information
Type theory, category theory.
United Kingdom
Activities
Employment (1)
2022-09-01
to
present
|
Reader in Pure Mathematics
(Department of Mathematics)
Employment
Source:
Nicola Gambino
Education and qualifications (1)
2000-01-01
to
2002-12-31
|
PhD
Education
Source:
Nicola Gambino
Professional activities (1)
2017-06-01
to
present
Membership
Source:
Nicola Gambino
Works (44)
Mathematical Structures in Computer Science
2024-10
|
Journal article
Contributors:
Thorsten Altenkirch;
Benno van den Berg;
Nicola Gambino;
Maria Emilia Maietti
Source:
check_circle
Crossref
Documenta Mathematica
2024-05-08
|
Journal article
Contributors:
Nicola Gambino;
Richard Garner;
Christina Vasilakopoulou
Source:
check_circle
Crossref
ArXiv
2022
|
Journal article
Contributors:
Gambino, Nicola;
Garner, Richard;
Vasilakopoulou, Christina
Source:
check_circle
Web of Science Researcher Profile Sync
Forum of Mathematics, Sigma
2022
|
Journal article
Contributors:
Nicola Gambino;
Simon Henry;
Christian Sattler;
Karol Szumiło
Source:
check_circle
Crossref
grade
Preferred source
(of
3)
ArXiv
2021
|
Journal article
Contributors:
Gambino, Nicola;
Henry, Simon;
Sattler, Christian;
Szumilo, Karol
Source:
check_circle
Web of Science Researcher Profile Sync
Theory and Applications of Categories
2021-01-20
|
Journal article
SOURCE-WORK-ID:
549719
Contributors:
Nicola Gambino;
Gabriele Lobbia
Source:
check_circle
Symplectic Elements at University of Leeds
ArXiv
2019
|
Journal article
Contributors:
Gambino, Nicola;
Sattler, Christian;
Szumilo, Karol
Source:
check_circle
Web of Science Researcher Profile Sync
Source:
check_circle
Web of Science Researcher Profile Sync
Quarterly Journal of Mathematics
2019-07-11
|
Other
SOURCE-WORK-ID:
505272
WOSUID:
WOS:000784809300001
Contributors:
Nicola Gambino;
Christian Sattler;
Karol Szumilo
Source:
check_circle
Symplectic Elements at University of Leeds
grade
Preferred source
(of
2)
2019-06-04
|
Other
SOURCE-WORK-ID:
505271
Contributors:
Nicola Gambino;
Marco Federico Larrea
Source:
check_circle
Symplectic Elements at University of Leeds
Journal of London Mathematical Society
2019-05-15
|
Other
SOURCE-WORK-ID:
505270
WOSUID:
WOS:000758527200001
Contributors:
Nicola Gambino;
Simon Henry
Source:
check_circle
Symplectic Elements at University of Leeds
grade
Preferred source
(of
2)
Selecta Mathematica
2018-07
|
Journal article
SOURCE-WORK-ID:
439588
WOSUID:
WOS:000435788700022
Contributors:
M Fiore;
Nicola Gambino;
M Hyland;
G Winskel
Source:
check_circle
Symplectic Elements at University of Leeds
grade
Preferred source
(of
2)
Journal of the ACM
2017
|
Journal article
EID:
2-s2.0-85011356016
Contributors:
Awodey, S.;
Gambino, N.;
Sojakova, K.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
ArXiv
2017
|
Journal article
Contributors:
Fiore, Marcelo;
Gambino, Nicola;
Hyland, Martin;
Winskel, Glynn
Source:
check_circle
Web of Science Researcher Profile Sync
ArXiv
2017
|
Journal article
Contributors:
Gambino, Nicola;
Sattler, Christian
Source:
check_circle
Web of Science Researcher Profile Sync
Journal of Pure and Applied Algebra
2017-12
|
Journal article
SOURCE-WORK-ID:
374315
WOSUID:
WOS:000405763900005
Contributors:
Nicola Gambino;
C Sattler
Source:
check_circle
Symplectic Elements at University of Leeds
grade
Preferred source
(of
2)
Memoirs of the American Mathematical Society
2017-09
|
Journal article
SOURCE-WORK-ID:
324964
WOSUID:
WOS:000412226400001
Contributors:
Nicola Gambino;
A Joyal
Source:
check_circle
Symplectic Elements at University of Leeds
grade
Preferred source
(of
2)
ArXiv
2015
|
Journal article
Contributors:
Awodey, Steve;
Gambino, Nicola;
Sojakova, Kristina
Source:
check_circle
Web of Science Researcher Profile Sync
Mathematical Structures in Computer Science
2015
|
Journal article
EID:
2-s2.0-84928706658
Contributors:
Awodey, S.;
Gambino, N.;
Palmgren, E.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
Source:
check_circle
Web of Science Researcher Profile Sync
Mathematical Proceedings of the Cambridge Philosophical Society
2013
|
Journal article
EID:
2-s2.0-84870938065
Contributors:
Gambino, N.;
Kock, J.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
Cahiers de Topologie et Geometrie Differentielle Categoriques
2012
|
Journal article
SOURCE-WORK-ID:
377360
Contributors:
Nicola Gambino;
T M Fiore;
J Kock
Source:
check_circle
Symplectic Elements at University of Leeds
ArXiv
2012
|
Journal article
Contributors:
Awodey, Steve;
Gambino, Nicola;
Sojakova, Kristina
Source:
check_circle
Web of Science Researcher Profile Sync
Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012
2012
|
Conference paper
EID:
2-s2.0-84867179352
Contributors:
Awodey, S.;
Gambino, N.;
Sojakova, K.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
Journal of Pure and Applied Algebra
2011
|
Journal article
EID:
2-s2.0-79451471306
Contributors:
Fiore, T.M.;
Gambino, N.;
Kock, J.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
Source:
check_circle
Web of Science Researcher Profile Sync
Journal of Pure and Applied Algebra
2010
|
Journal article
EID:
2-s2.0-74849133004
Contributors:
Gambino, N.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
Journal of Symbolic Logic
2009
|
Journal article
EID:
2-s2.0-70349467437
Contributors:
Awodey, S.;
Gambino, N.;
Lumsdaine, P.L.;
Warren, M.A.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
Mathematical Proceedings of the Cambridge Philosophical Society
2008
|
Journal article
EID:
2-s2.0-45849109912
Contributors:
Gambino, N.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
ArXiv
2008
|
Journal article
Contributors:
Awodey, Steve;
Gambino, Nicola;
L. Lumsdaine, Peter;
A. Warren, Michael
Source:
check_circle
Web of Science Researcher Profile Sync
Annals of Pure and Applied Logic
2008
|
Journal article
EID:
2-s2.0-55149101099
Contributors:
Gambino, N.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
Journal of the London Mathematical Society
2008
|
Journal article
EID:
2-s2.0-44649151163
Contributors:
Fiore, M.;
Gambino, N.;
Hyland, M.;
Winskel, G.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
Source:
check_circle
Web of Science Researcher Profile Sync
Theoretical Computer Science
2008
|
Journal article
EID:
2-s2.0-55349144465
Contributors:
Gambino, N.;
Garner, R.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
Mathematical Structures in Computer Science
2007
|
Journal article
EID:
2-s2.0-33847692830
Contributors:
Gambino, N.;
Schuster, P.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
Annals of Pure and Applied Logic
2006
|
Journal article
EID:
2-s2.0-27744476175
Contributors:
Gambino, N.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
Journal of Symbolic Logic
2006
|
Journal article
EID:
2-s2.0-33645332107
Contributors:
Gambino, N.;
Aczel, P.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
2005
|
Book
EID:
2-s2.0-84920753686
Contributors:
Gambino, N.
Source:
Nicola Gambino
via
Scopus - Elsevier
grade
Preferred source
(of
3)
Lecture Notes in Computer Science
2004
|
Conference paper
SOURCE-WORK-ID:
377349
WOSUID:
WOS:000222571900014
Contributors:
Nicola Gambino;
M Hyland
Source:
check_circle
Symplectic Elements at University of Leeds
grade
Preferred source
(of
2)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004
|
Book
EID:
2-s2.0-33947308831
Contributors:
Gambino, N.;
Hyland, M.
Source:
Nicola Gambino
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002
|
Book
EID:
2-s2.0-84874867056
Contributors:
Aczel, P.;
Gambino, N.
Source:
Nicola Gambino
via
Scopus - Elsevier
Lecture Notes in Computer Science
2002-02-14
|
Conference paper
SOURCE-WORK-ID:
377347
Contributors:
P Azcel;
Nicola Gambino
Source:
check_circle
Symplectic Elements at University of Leeds
The Journal of Symbolic Logic
Journal article
SOURCE-WORK-ID:
556665
Contributors:
Nicola Gambino;
Marco Federico Larrea
Source:
check_circle
Symplectic Elements at University of Leeds
grade
Preferred source
(of
2)
Theory and Applications of Categories
Other
SOURCE-WORK-ID:
533575
WOSUID:
WOS:000674967700002
Contributors:
Nicola Gambino;
Gabriele Lobbia
Source:
check_circle
Symplectic Elements at University of Leeds
grade
Preferred source
(of
2)