Collection Principles in Dependent Type Theory. - Peter Aczel; Nicola Gambino (TYPES, 2000)

Wellfounded Trees and Dependent Polynomial Functors. - Nicola Gambino; Martin Hyland (TYPES, 2003)

Presheaf models for Constructive Set Theories. - Nicola Gambino (From sets and types to topology and analysis, 2005)

Heyting-valued interpretations for Constructive Set Theory. - Nicola Gambino (Ann. Pure Appl. Log., 2006)

The generalised type-theoretic interpretation of constructive set theory. - Peter Aczel; Nicola Gambino (J. Symb. Log., 2006)

The associated sheaf functor theorem in algebraic set theory. - Nicola Gambino (Ann. Pure Appl. Log., 2008)

The identity type weak factorisation system. - Nicola Gambino; Richard Garner (Theor. Comput. Sci., 2008)

Lawvere - Tierney sheaves in Algebraic Set Theory. - Steven Awodey; Nicola Gambino; Peter LeFanu Lumsdaine; Michael A. Warren (J. Symb. Log., 2009)

Inductive Types in Homotopy Type Theory. - Steven Awodey; Nicola Gambino; Kristina Sojakova (LICS, 2012)

Introduction - from type theory and homotopy theory to univalent foundations. - Steve Awodey; Nicola Gambino; Erik Palmgren (Math. Struct. Comput. Sci., 2015)

Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems. - Nicola Gambino; Marco Federico Larrea (J. Symb. Log., 2023)

Monoidal bicategories, differential linear logic, and analytic functors. - Marco Fiore 001; Nicola Gambino; Martin Hyland (CoRR, 2024)

Preface: Advances in Homotopy Type Theory. - Thorsten Altenkirch; Benno van den Berg; Nicola Gambino; Maria Emilia Maietti (Math. Struct. Comput. Sci., 2024)