Graph explorer

Nicola Gambino

Nicola Gambino contributes to research discovery and scholarly infrastructure.

10 nodes9 linksoverview previewNicola Gambino
10 nodes9 links
Nicola Gambino10 visible / 10 total nodes / 9 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipANicola GambinoResearcherWThe constructive Kan-Qu...preprint / 2021WModels of Martin-Löf ty...preprint / 2021WTowards a constructive ...preprint / 2021WOn the formal theory of...preprint / 2021WPolynomial functors and...preprint / 2010WMonads in Double Catego...preprint / 2010WDouble Adjunctions and ...preprint / 2011WLawvere-Tierney sheaves...preprint / 2008WHomotopy-initial algebr...preprint / 2015
PersonSignal 109 links

Nicola Gambino

Researcher

Open