GAMBINO, Nicola
GAMBINO, Nicola
Matematica e Informatica
Collection Principles in Dependent Type Theory
2002-01-01 ACZEL, PETER; GAMBINO NICOLA
Double adjunctions and free monads
2012-01-01 Fiore, TM; Gambino, N; Kock, J
Heyting-valued interpretations for constructive set theory
2006-01-01 GAMBINO, N
Homotopy limits for 2-categories
2008-01-01 GAMBINO, N
Inductive types in homotopy type theory
2012-01-01 Awodey, S; Gambino, N; Sojakova, K
Lawvere-Tierney sheaves in Algebraic Set Theory
2009-01-01 AWODEY, S; GAMBINO, N; LUMSDAINE, P; WARREN, M
Monads in Double Categories
2011-01-01 Fiore, TM; Gambino, N; Kock, J
On operads, bimodules and analytic functors
2014-01-01 Gambino, N; Joyal, A
Polynomial functors and polynomial monads
2013-01-01 Gambino, N; Kock, J
Spatiality for formal topologies
2007-01-01 GAMBINO, N; SCHUSTER, P
The associated sheaf functor theorem in Algebraic Set Theory
2008-01-01 GAMBINO, N
The cartesian closed bicategory of generalised species of structures
2008-01-01 FIORE, M; GAMBINO, N; HYLAND, MARTIN; WINSKEL, GLYNN
The generalised type-theoretic interpretation of constructive set theory
2006-01-01 ACZEL, P; GAMBINO, N
The identity type weak factorisation system
2008-01-01 GAMBINO, N; GARNER, R
Weighted limits in simplicial homotopy theory
2010-01-01 GAMBINO, N
Wellfounded Trees and Dependent Polynomial Functors
2004-01-01 GAMBINO, N; HYLAND, MARTIN
| Data di pubblicazione | Titolo | Autori | Tipologia | Autore(i) | File |
|---|---|---|---|---|---|
| 1-gen-2002 | Collection Principles in Dependent Type Theory | GAMBINO, Nicola + | 10 - Proceedings::Proceedings | ACZEL, PETER; GAMBINO NICOLA | |
| 1-gen-2012 | Double adjunctions and free monads | GAMBINO, Nicola + | 01 - Contributo in rivista::1.01 Articolo in rivista | Fiore, TM; Gambino, N; Kock, J | |
| 1-gen-2006 | Heyting-valued interpretations for constructive set theory | GAMBINO, Nicola | 01 - Contributo in rivista::1.01 Articolo in rivista | GAMBINO, N | |
| 1-gen-2008 | Homotopy limits for 2-categories | GAMBINO, Nicola | 01 - Contributo in rivista::1.01 Articolo in rivista | GAMBINO, N | |
| 1-gen-2012 | Inductive types in homotopy type theory | GAMBINO, Nicola + | 10 - Proceedings::Proceedings | Awodey, S; Gambino, N; Sojakova, K | |
| 1-gen-2009 | Lawvere-Tierney sheaves in Algebraic Set Theory | GAMBINO, Nicola + | 01 - Contributo in rivista::1.01 Articolo in rivista | AWODEY, S; GAMBINO, N; LUMSDAINE, P; WARREN, M | |
| 1-gen-2011 | Monads in Double Categories | GAMBINO, Nicola + | 01 - Contributo in rivista::1.01 Articolo in rivista | Fiore, TM; Gambino, N; Kock, J | |
| 1-gen-2014 | On operads, bimodules and analytic functors | GAMBINO, Nicola + | 01 - Contributo in rivista::1.01 Articolo in rivista | Gambino, N; Joyal, A | |
| 1-gen-2013 | Polynomial functors and polynomial monads | GAMBINO, Nicola + | 01 - Contributo in rivista::1.01 Articolo in rivista | Gambino, N; Kock, J | |
| 1-gen-2007 | Spatiality for formal topologies | GAMBINO, Nicola + | 01 - Contributo in rivista::1.01 Articolo in rivista | GAMBINO, N; SCHUSTER, P | |
| 1-gen-2008 | The associated sheaf functor theorem in Algebraic Set Theory | GAMBINO, Nicola | 01 - Contributo in rivista::1.01 Articolo in rivista | GAMBINO, N | |
| 1-gen-2008 | The cartesian closed bicategory of generalised species of structures | GAMBINO, Nicola + | 01 - Contributo in rivista::1.01 Articolo in rivista | FIORE, M; GAMBINO, N; HYLAND, MARTIN; WINSKEL, GLYNN | |
| 1-gen-2006 | The generalised type-theoretic interpretation of constructive set theory | GAMBINO, Nicola + | 01 - Contributo in rivista::1.01 Articolo in rivista | ACZEL, P; GAMBINO, N | |
| 1-gen-2008 | The identity type weak factorisation system | GAMBINO, Nicola + | 01 - Contributo in rivista::1.01 Articolo in rivista | GAMBINO, N; GARNER, R | |
| 1-gen-2010 | Weighted limits in simplicial homotopy theory | GAMBINO, Nicola | 01 - Contributo in rivista::1.01 Articolo in rivista | GAMBINO, N | |
| 1-gen-2004 | Wellfounded Trees and Dependent Polynomial Functors | GAMBINO, Nicola + | 10 - Proceedings::Proceedings | GAMBINO, N; HYLAND, MARTIN |