Nicola Gambino

2008
4	EE	Nicola Gambino, Richard Garner: The identity type weak factorisation system. Theor. Comput. Sci. 409(1): 94-109 (2008)
2006
3	EE	Nicola Gambino: Heyting-valued interpretations for Constructive Set Theory. Ann. Pure Appl. Logic 137(1-3): 164-188 (2006)
2003
2	EE	Nicola Gambino, Martin Hyland: Wellfounded Trees and Dependent Polynomial Functors. TYPES 2003: 210-225
2000
1	EE	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