Nicola Gambino

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 3

Top Topics

Cut Elimination

Biological Systems

Proof Theoretic

Mathematical Framework

Top Venues

Math. Struct. Comput. Sci.

Publications

M. Fiore, Nicola Gambino, Martin Hyland
Monoidal bicategories, differential linear logic, and analytic functors. CoRR (2024)
Nicola Gambino, Marco Federico Larrea
Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems. J. Symb. Log. 88 (1) (2023)
Steve Awodey, Nicola Gambino, Erik Palmgren
Introduction - from type theory and homotopy theory to univalent foundations. Math. Struct. Comput. Sci. 25 (5) (2015)
Steven Awodey, Nicola Gambino, Kristina Sojakova
Inductive types in homotopy type theory CoRR (2012)
Steven Awodey, Nicola Gambino, Kristina Sojakova
Inductive Types in Homotopy Type Theory. LICS (2012)
Steven Awodey, Nicola Gambino, Peter LeFanu Lumsdaine, Michael A. Warren
Lawvere - Tierney sheaves in Algebraic Set Theory. J. Symb. Log. 74 (3) (2009)
Nicola Gambino
The associated sheaf functor theorem in algebraic set theory. Ann. Pure Appl. Log. 156 (1) (2008)
Nicola Gambino, Richard Garner
The identity type weak factorisation system. Theor. Comput. Sci. 409 (1) (2008)
Peter Aczel, Nicola Gambino
The generalised type-theoretic interpretation of constructive set theory. J. Symb. Log. 71 (1) (2006)
Nicola Gambino
Heyting-valued interpretations for Constructive Set Theory. Ann. Pure Appl. Log. 137 (1-3) (2006)
Nicola Gambino, Martin Hyland
Wellfounded Trees and Dependent Polynomial Functors. TYPES (2003)
Peter Aczel, Nicola Gambino
Collection Principles in Dependent Type Theory. TYPES (2000)