| Polynomial functors and polynomial monads N Gambino, J Kock Mathematical proceedings of the cambridge philosophical society 154 (1), 153-192, 2013 | 218 | 2013 |
| Wellfounded trees and dependent polynomial functors N Gambino, M Hyland International Workshop on Types for Proofs and Programs, 210-225, 2003 | 146 | 2003 |
| The identity type weak factorisation system N Gambino, R Garner Theoretical computer science 409 (1), 94-109, 2008 | 145 | 2008 |
| The cartesian closed bicategory of generalised species of structures M Fiore, N Gambino, M Hyland, G Winskel Journal of the London Mathematical Society 77 (1), 203-220, 2008 | 135 | 2008 |
| The Frobenius condition, right properness, and uniform fibrations N Gambino, C Sattler Journal of Pure and Applied Algebra 221 (12), 3027-3068, 2017 | 79* | 2017 |
| Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures M Fiore, N Gambino, M Hyland, G Winskel Selecta Mathematica 24, 2791-2830, 2018 | 74 | 2018 |
| Inductive types in homotopy type theory S Awodey, N Gambino, K Sojakova 2012 27th Annual IEEE Symposium on Logic in Computer Science, 95-104, 2012 | 69 | 2012 |
| On operads, bimodules and analytic functors N Gambino, A Joyal Memoirs of the American Mathematical Society 249 (1184), 2017 | 52 | 2017 |
| The generalised type-theoretic interpretation of constructive set theory N Gambino, P Aczel The Journal of Symbolic Logic 71 (1), 67-103, 2006 | 52 | 2006 |
| Weighted limits in simplicial homotopy theory N Gambino Journal of Pure and Applied Algebra 214 (7), 1193-1199, 2010 | 51 | 2010 |
| Heyting-valued interpretations for constructive set theory N Gambino Annals of Pure and Applied Logic 137 (1-3), 164-188, 2006 | 43 | 2006 |
| Collection principles in dependent type theory P Aczel, N Gambino International Workshop on Types for Proofs and Programs, 1-23, 2000 | 40 | 2000 |
| Monads in double categories TM Fiore, N Gambino, J Kock Journal of Pure and Applied Algebra 215 (6), 1174-1197, 2011 | 30 | 2011 |
| Spatiality for formal topologies N Gambino, P Schuster Mathematical Structures in Computer Science 17 (1), 65-80, 2007 | 30 | 2007 |
| On the formal theory of pseudomonads and pseudodistributive laws N Gambino, G Lobbia Theory and Applications of Categories 37 (2), 14-56, 2009 | 23* | 2009 |
| Presheaf models for constructive set theories N Gambino From sets and types to topology and analysis 48, 62-77, 2005 | 23 | 2005 |
| Sheaf interpretations for generalised predicative intuitionistic systems N Gambino University of Manchester, 2002 | 23 | 2002 |
| Towards a constructive simplicial model of Univalent Foundations N Gambino, S Henry Journal of the London Mathematical Society 105 (2), 1073-1109, 2022 | 22 | 2022 |
| Homotopy-initial algebras in type theory S Awodey, N Gambino, K Sojakova Journal of the ACM (JACM) 63 (6), 1-45, 2017 | 21 | 2017 |
| Homotopy limits for 2-categories N Gambino Mathematical Proceedings of the Cambridge Philosophical Society 145 (1), 43-63, 2008 | 21 | 2008 |
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
