Nicola Gambino

Orcid: 0000-0002-4257-3590

Affiliations:
  • University of Leeds, UK
  • University of Palermo, Italy


According to our database1, Nicola Gambino authored at least 12 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Monoidal bicategories, differential linear logic, and analytic functors.
CoRR, 2024

2023
Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems.
J. Symb. Log., March, 2023

2015
Introduction - from type theory and homotopy theory to univalent foundations.
Math. Struct. Comput. Sci., 2015

2012
Inductive Types in Homotopy Type Theory.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2009
Lawvere - Tierney sheaves in Algebraic Set Theory.
J. Symb. Log., 2009

2008
The identity type weak factorisation system.
Theor. Comput. Sci., 2008

The associated sheaf functor theorem in algebraic set theory.
Ann. Pure Appl. Log., 2008

2006
The generalised type-theoretic interpretation of constructive set theory.
J. Symb. Log., 2006

Heyting-valued interpretations for Constructive Set Theory.
Ann. Pure Appl. Log., 2006

2005
Presheaf models for Constructive Set Theories.
Proceedings of the From sets and types to topology and analysis, 2005

2003
Wellfounded Trees and Dependent Polynomial Functors.
Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2000
Collection Principles in Dependent Type Theory.
Proceedings of the Types for Proofs and Programs, International Workshop, 2000


  Loading...