Nicola Gambino

15 papers A* 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
In Memoriam: Peter H. G. Aczel (1941-2023).
Formal Aspects Comput.
Nicola Gambino
2024 J jnl
Monoidal bicategories, differential linear logic, and analytic functors.
CoRR
Marco Fiore, Nicola Gambino, Martin Hyland
2024 J jnl
Preface: Advances in Homotopy Type Theory.
Math. Struct. Comput. Sci.
Thorsten Altenkirch, Benno van den Berg, Nicola Gambino, Maria Emilia Maietti
2023 J jnl
Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems.
J. Symb. Log.
Nicola Gambino, Marco Federico Larrea
2015 J jnl
Introduction - from type theory and homotopy theory to univalent foundations.
Math. Struct. Comput. Sci.
Steve Awodey, Nicola Gambino, Erik Palmgren
2012 A* conf
Inductive Types in Homotopy Type Theory.
LICS
Steven Awodey, Nicola Gambino, Kristina Sojakova
2012 J jnl
Inductive types in homotopy type theory
CoRR
Steven Awodey, Nicola Gambino, Kristina Sojakova
2009 J jnl
Lawvere - Tierney sheaves in Algebraic Set Theory.
J. Symb. Log.
Steven Awodey, Nicola Gambino, Peter LeFanu Lumsdaine, Michael A. Warren
2008 J jnl
The associated sheaf functor theorem in algebraic set theory.
Ann. Pure Appl. Log.
Nicola Gambino
2008 J jnl
The identity type weak factorisation system.
Theor. Comput. Sci.
Nicola Gambino, Richard Garner
2006 J jnl
Heyting-valued interpretations for Constructive Set Theory.
Ann. Pure Appl. Log.
Nicola Gambino
2006 J jnl
The generalised type-theoretic interpretation of constructive set theory.
J. Symb. Log.
Peter Aczel, Nicola Gambino
2005 — ch.
Presheaf models for Constructive Set Theories.
From sets and types to topology and analysis
Nicola Gambino
2003 — conf
Wellfounded Trees and Dependent Polynomial Functors.
TYPES
Nicola Gambino, Martin Hyland
2000 — conf
Collection Principles in Dependent Type Theory.
TYPES
Peter Aczel, Nicola Gambino