Nicola Gambino

Available identifiers

zbMath Open gambino.nicolaWikidataQ60023766 ScholiaQ60023766MaRDI QIDQ531323

List of research outcomes

Publication	Date of Publication	Type
Kripke-Joyal forcing for type theory and uniform fibrations	2024-08-13	Paper
Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences	2024-05-27	Paper
Towards a constructive simplicial model of Univalent Foundations	2023-08-24	Paper
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS	2023-02-27	Paper
The Constructive Kan–Quillen Model Structure: Two New Proofs	2023-01-19	Paper
The effective model structure and -groupoid objects	2022-06-13	Paper
Kripke-Joyal forcing for type theory and uniform fibrations	2021-10-27	Paper
On the formal theory of pseudomonads and pseudodistributive laws	2021-02-09	Paper
The constructive Kan-Quillen model structure: two new proofs	2019-07-11	Paper
Models of Martin-L\"of type theory from algebraic weak factorisation systems	2019-06-04	Paper
Homotopy-Initial Algebras in Type Theory	2018-08-02	Paper
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures	2018-07-16	Paper
On operads, bimodules and analytic functors	2017-10-10	Paper
The Frobenius condition, right properness, and uniform fibrations	2017-08-08	Paper
Inductive Types in Homotopy Type Theory	2017-05-16	Paper
Double ad junctions and free monads	2014-01-03	Paper
Polynomial functors and polynomial monads	2013-01-15	Paper
Monads in double categories	2011-04-29	Paper
Weighted limits in simplicial homotopy theory	2010-03-01	Paper
Lawvere–Tierney sheaves in Algebraic Set Theory	2009-09-29	Paper
The identity type weak factorisation system	2008-12-12	Paper
The associated sheaf functor theorem in algebraic set theory	2008-12-05	Paper
Homotopy limits for 2-categories	2008-07-23	Paper
The cartesian closed bicategory of generalised species of structures	2008-03-13	Paper
Spatiality for formal topologies	2007-04-12	Paper
The generalised type-theoretic interpretation of constructive set theory	2006-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q5718563	2006-01-16	Paper
Types for Proofs and Programs	2005-12-23	Paper
Heyting-valued interpretations for constructive set theory	2005-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4736386	2004-08-09	Paper
Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences	N/A	Paper
Monoidal bicategories, differential linear logic, and analytic functors	N/A	Paper

Research outcomes over time

This page was built for person: Nicola Gambino