Publications

1. P. Aczel and N. Gambino, Collection Principles in Dependent Type Theory, In Z. Luo and J. McKinna and R. Pollack (editors), Types for proofs and programs, Lecture Notes in Computer Science 2277, Springer (2002), pp. 1-23.
2. N. Gambino and M. Hyland, Wellfounded Trees and Dependent Polynomial Functors, In S. Berardi and M. Coppo and F. Damiani (editors), Types for proofs and programs, Lecture Notes in Computer Science 3085, Springer (2004), pp. 210-225.
3. N. Gambino, Presheaf models for Constructive Set Theories, In L. Crosilla and P. Schuster (editors), From Sets and Types to Topology and Analysis, Oxford University Press, 2005, pp. 62-77.
4. N. Gambino and P. Aczel, The generalised type-theoretic interpretation of constructive set theory, Journal of Symbolic Logic 71 (1) 2006, pp. 67-103.
5. N. Gambino, Heyting-valued interpretations for constructive set theory, Annals of Pure and Applied Logic 137 (1-3) 2006, pp. 164-188.
6. N. Gambino and P. Schuster, Spatiality for formal topologies, Mathematical Structures in Computer Science 17 (1) 2007, pp. 65-80.
7. M. Fiore, N. Gambino, M. Hyland, and G. Winskel, The cartesian closed bicategory of generalised species of structures, Journal of the London Mathematical Society 77 (2) 2008, pp. 203-220.
8. N. Gambino, Homotopy limits for 2-categories, Mathematical Proceedings of the Cambridge Philosophical Society 145 (1) 2008, pp. 43-63.
9. N. Gambino, The associated sheaf functor theorem in Algebraic Set Theory, Annals of Pure and Applied Logic 156 (1) 2008, pp. 68-77.
10. N. Gambino and R. Garner, The identity type weak factorisation system, Theoretical Computer Science 409 (1) 2008, pp. 94-109.
11. S. Awodey, N. Gambino, P. L. Lumsdaine, and M. A. Warren, Lawvere-Tierney sheaves in Algebraic Set Theory, Journal of Symbolic Logic 73 (3) 2009, pp. 861-890.
12. N. Gambino, Weighted limits in simplicial homotopy theory, Journal of Pure and Applied Algebra 214 (2010) pp. 1193-1199.

Preprints

13. N. Gambino and J. Kock,  Polynomial functors and polynomial monads, ArXiv:0906:4931, 2009.
14. N. Gambino, On the coherence conditions for pseudo-distributive laws, ArXiv:0907:1359, 2009.