GAMBINO, Nicola

GAMBINO, Nicola  

Matematica e Informatica  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.032 secondi).
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