Nicola Gambino - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2023

Models of Martin-Löf Type Theory From Algebraic Weak Factorisation SystemsNicola Gambino, Marco Federico Larrea. JSYML, 88(1):242-289, March 2023. [doi]

2015

Introduction - from type theory and homotopy theory to univalent foundationsSteve Awodey, Nicola Gambino, Erik Palmgren. mscs, 25(5):1005-1009, 2015. [doi]

2012

Inductive Types in Homotopy Type TheorySteven Awodey, Nicola Gambino, Kristina Sojakova. lics 2012: 95-104 [doi]

2009

Lawvere - Tierney sheaves in Algebraic Set TheorySteven Awodey, Nicola Gambino, P. L. Lumsdaine, Michael A. Warren. JSYML, 74(3):861-890, 2009. [doi]

2008

The identity type weak factorisation systemNicola Gambino, Richard Garner. TCS, 409(1):94-109, 2008. [doi]

The associated sheaf functor theorem in algebraic set theoryNicola Gambino. APAL, 156(1):68-77, 2008. [doi]

2006

The generalised type-theoretic interpretation of constructive set theoryPeter Aczel, Nicola Gambino. JSYML, 71(1):67-103, 2006. [doi]

Heyting-valued interpretations for Constructive Set TheoryNicola Gambino. APAL, 137(1-3):164-188, 2006. [doi]

2005

Presheaf models for Constructive Set TheoriesNicola Gambino. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

2003

Wellfounded Trees and Dependent Polynomial FunctorsNicola Gambino, Martin Hyland. TYPES 2004: 210-225 [doi]

2000

Collection Principles in Dependent Type TheoryPeter Aczel, Nicola Gambino. TYPES 2002: 1-23 [doi]

Sign in or sign up to see more results.

runs on WebDSL