2008 | ||
---|---|---|
5 | EE | Nicola Gambino: The associated sheaf functor theorem in algebraic set theory. Ann. Pure Appl. Logic 156(1): 68-77 (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 |
1 | Peter Aczel | [1] |
2 | Richard Garner | [4] |
3 | Martin Hyland (J. M. E. Hyland) | [2] |