Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
9 links
Nicola Gambino
Researcher
PaperThe constructive Kan-Quillen model structure: two new proofsAuthorship / preprint / 2021PaperModels of Martin-Löf type theory from algebraic weak factorisation systemsAuthorship / preprint / 2021PaperTowards a constructive simplicial model of Univalent FoundationsAuthorship / preprint / 2021PaperOn the formal theory of pseudomonads and pseudodistributive lawsAuthorship / preprint / 2021PaperPolynomial functors and polynomial monadsAuthorship / preprint / 2010PaperMonads in Double CategoriesAuthorship / preprint / 2010PaperDouble Adjunctions and Free MonadsAuthorship / preprint / 2011PaperLawvere-Tierney sheaves in algebraic set theoryAuthorship / preprint / 2008