Nicola Gambino

	2008
5		Nicola Gambino: The associated sheaf functor theorem in algebraic set theory. Ann. Pure Appl. Logic 156(1): 68-77 (2008)
4		Nicola Gambino, Richard Garner: The identity type weak factorisation system. Theor. Comput. Sci. 409(1): 94-109 (2008)
	2006
3		Nicola Gambino: Heyting-valued interpretations for Constructive Set Theory. Ann. Pure Appl. Logic 137(1-3): 164-188 (2006)
	2003
2		Nicola Gambino, Martin Hyland: Wellfounded Trees and Dependent Polynomial Functors. TYPES 2003: 210-225
	2000
1		Peter Aczel, Nicola Gambino: Collection Principles in Dependent Type Theory. TYPES 2000: 1-23

Coauthor Index

1	Peter Aczel	[1]
2	Richard Garner	[4]
3	Martin Hyland (J. M. E. Hyland)	[2]

Colors in the list of coauthors