Nicola Gambino

According to our database, Nicola Gambino authored at least 11 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems.

Nicola Gambino, Marco Federico Larrea

J. Symb. Log., March, 2023

2015

Introduction - from type theory and homotopy theory to univalent foundations.

Steve Awodey, Nicola Gambino, Erik Palmgren

Math. Struct. Comput. Sci., 2015

2012

Inductive Types in Homotopy Type Theory.

Steven Awodey, Nicola Gambino, Kristina Sojakova

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2009

Lawvere - Tierney sheaves in Algebraic Set Theory.

Steven Awodey, Nicola Gambino, Peter LeFanu Lumsdaine, Michael A. Warren

J. Symb. Log., 2009

2008

The identity type weak factorisation system.

Nicola Gambino, Richard Garner

Theor. Comput. Sci., 2008

The associated sheaf functor theorem in algebraic set theory.

Nicola Gambino

Ann. Pure Appl. Log., 2008

2006

The generalised type-theoretic interpretation of constructive set theory.

Peter Aczel, Nicola Gambino

J. Symb. Log., 2006

Heyting-valued interpretations for Constructive Set Theory.

Nicola Gambino

Ann. Pure Appl. Log., 2006

2005

Presheaf models for Constructive Set Theories.

Nicola Gambino

Proceedings of the From sets and types to topology and analysis, 2005

2003

Wellfounded Trees and Dependent Polynomial Functors.

Nicola Gambino, Martin Hyland

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2000

Collection Principles in Dependent Type Theory.

Peter Aczel, Nicola Gambino

Proceedings of the Types for Proofs and Programs, International Workshop, 2000