Nicola Gambino

From MaRDI portal
Person:531323

Available identifiers

zbMath Open gambino.nicolaWikidataQ60023766 ScholiaQ60023766MaRDI QIDQ531323

List of research outcomes

PublicationDate of PublicationType
Towards a constructive simplicial model of Univalent Foundations2023-08-24Paper
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS2023-02-27Paper
The Constructive Kan–Quillen Model Structure: Two New Proofs2023-01-19Paper
The effective model structure and -groupoid objects2022-06-13Paper
On the formal theory of pseudomonads and pseudodistributive laws2021-02-09Paper
The constructive Kan-Quillen model structure: two new proofs2019-07-11Paper
Models of Martin-L\"of type theory from algebraic weak factorisation systems2019-06-04Paper
Homotopy-Initial Algebras in Type Theory2018-08-02Paper
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures2018-07-16Paper
On operads, bimodules and analytic functors2017-10-10Paper
The Frobenius condition, right properness, and uniform fibrations2017-08-08Paper
Inductive Types in Homotopy Type Theory2017-05-16Paper
Double Adjunctions and Free Monads2014-01-03Paper
Polynomial functors and polynomial monads2013-01-15Paper
Monads in double categories2011-04-29Paper
Weighted limits in simplicial homotopy theory2010-03-01Paper
Lawvere–Tierney sheaves in Algebraic Set Theory2009-09-29Paper
The identity type weak factorisation system2008-12-12Paper
The associated sheaf functor theorem in algebraic set theory2008-12-05Paper
Homotopy limits for 2-categories2008-07-23Paper
The cartesian closed bicategory of generalised species of structures2008-03-13Paper
Spatiality for formal topologies2007-04-12Paper
The generalised type-theoretic interpretation of constructive set theory2006-07-05Paper
https://portal.mardi4nfdi.de/entity/Q57185632006-01-16Paper
Types for Proofs and Programs2005-12-23Paper
Heyting-valued interpretations for constructive set theory2005-12-06Paper
https://portal.mardi4nfdi.de/entity/Q47363862004-08-09Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Nicola Gambino