Nicola Gambino

Available identifiers

zbMath Open gambino.nicolaWikidataQ60023766 ScholiaQ60023766MaRDI QIDQ531323

List of research outcomes

Publication	Date of Publication	Type
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 Adjunctions 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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicola Gambino