Items where authors include "Gambino, N"

Article

Gambino, N orcid.org/0000-0002-4257-3590 and Larrea, MF (2023) Models of Martin-Löf Type Theory from Algebraic Weak Factorisation Systems. The Journal of Symbolic Logic, 88 (1). pp. 242-289. ISSN 0022-4812

Gambino, N orcid.org/0000-0002-4257-3590, Sattler, C and Szumilo, K (2022) The constructive Kan-Quillen model structure: two new proofs. The Quarterly Journal of Mathematics, 73 (4). pp. 1307-1373. ISSN 0033-5606

Gambino, N orcid.org/0000-0002-4257-3590, Henry, S, Sattler, C et al. (1 more author) (2022) The effective model structure and ∞-groupoid objects. Forum of Mathematics, Sigma, 10 (e34). ISSN 2050-5094

Gambino, N orcid.org/0000-0002-4257-3590 and Henry, S (2022) Towards a constructive simplicial model of Univalent Foundations. Journal of the London Mathematical Society, 105 (2). pp. 1073-1109. ISSN 0024-6107

Gambino, N orcid.org/0000-0002-4257-3590 and Lobbia, G orcid.org/0000-0002-2732-0317 (2021) On the formal theory of pseudomonads and pseudodistributive laws. Theory and Applications of Categories, 37 (2). pp. 14-56. ISSN 1201-561X

Fiore, M, Gambino, N orcid.org/0000-0002-4257-3590, Hyland, M et al. (1 more author) (2018) Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures. Selecta Mathematica, New Series, 24 (3). pp. 2791-2830. ISSN 1022-1824

Gambino, N orcid.org/0000-0002-4257-3590 and Sattler, C (2017) The Frobenius condition, right properness, and uniform fibrations. Journal of Pure and Applied Algebra, 221 (12). pp. 3027-3068. ISSN 0022-4049

Gambino, N orcid.org/0000-0002-4257-3590 and Joyal, A (2017) On operads, bimodules and analytic functors. Memoirs of the American Mathematical Society, 249. 1184. ISSN 0065-9266

Awodey, S, Gambino, N orcid.org/0000-0002-4257-3590 and Sojakova, K (2017) Homotopy-initial algebras in type theory. Journal of the ACM, 63 (6). ISSN 1535-9921

Awodey, S, Gambino, N orcid.org/0000-0002-4257-3590 and Palmgren, E (2015) Introduction – from type theory and homotopy theory to univalent foundations. Mathematical Structures in Computer Science, 25 (05). pp. 1005-1009. ISSN 0960-1295

Gambino, N orcid.org/0000-0002-4257-3590, Fiore, TM and Kock, J (2012) Double adjunctions and free monads. Cahiers de Topologie et Géométrie Differentielles Catégoriques, LIII (4). pp. 242-307. ISSN 1245-530X

Fiore, TM, Gambino, N orcid.org/0000-0002-4257-3590 and Kock, J (2011) Monads in double categories. Journal of Pure and Applied Algebra, 215 (6). pp. 1174-1197. ISSN 0022-4049

Awodey, S, Gambino, N, Lumsdaine, PL et al. (1 more author) (2009) Lawvere–Tierney sheaves in Algebraic Set Theory. The Journal of Symbolic Logic, 74 (03). pp. 861-890. ISSN 0022-4812

Gambino, N orcid.org/0000-0002-4257-3590 (2008) The associated sheaf functor theorem in algebraic set theory. Annals of Pure and Applied Logic, 156 (1). pp. 68-77. ISSN 0168-0072

Gambino, N orcid.org/0000-0002-4257-3590 (2008) Homotopy limits for 2-categories. Mathematical Proceedings of the Cambridge Philosophical Society, 145 (1). pp. 43-63. ISSN 0305-0041

Gambino, N orcid.org/0000-0002-4257-3590 and Aczel, P (2006) The generalised type-theoretic interpretation of constructive set theory. Journal of Symbolic Logic, 71 (1). pp. 67-103. ISSN 0022-4812

Gambino, N orcid.org/0000-0002-4257-3590 (2006) Heyting-valued interpretations for Constructive Set Theory. Annals of Pure and Applied Logic, 137 (1-3). pp. 164-188. ISSN 0168-0072

Book Section

Gambino, N orcid.org/0000-0002-4257-3590 (2005) Presheaf models for constructive set theories. In: Crosilla, L and Schuster, P, (eds.) From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics. Oxford University Press , Oxford, UK , pp. 62-77. ISBN 9780198566519

Proceedings Paper

Gambino, N orcid.org/0000-0002-4257-3590 and Hyland, M (2004) Wellfounded Trees and Dependent Polynomial Functors. In: Lecture Notes in Computer Science. TYPES 2003: International Workshop on Types for Proofs and Programs, 30 Apr - 04 May 2003, Torino, Italy. Springer Nature , pp. 210-225. ISBN 978-3-540-22164-7

Azcel, P and Gambino, N orcid.org/0000-0002-4257-3590 (2002) Collection Principles in Dependent Type Theory. In: Lecture Notes in Computer Science: TYPES 2000. International Workshop on Types for Proofs and Programs (TYPES) 2000, 08-12 Dec 2000, Durham, UK. Springer Verlag , pp. 1-23. ISBN 3-540-43287-6