%%
%% Nicola Gambino publications bibtex file (last update 29/10/2007)
%%

@InCollection{AczelP:colpdt,
  author = 	 {P. Aczel and N. Gambino},
  title = 	 {Collection principles in dependent type theory},
  booktitle = 	 {Types for proofs and programs},
  pages = 	 {1--23},
  publisher =    {Springer},
  year = 	 {2001},
  editor = 	 {Z. Luo and J. McKinna and R. Pollack},
  volume = 	 {2277},
  series = 	 {Lecture Notes in Computer Science}
}

@PhdThesis{GambinoN:sheigp,
  author = 	 {N. Gambino},
  title = 	 {Sheaf interpretations for generalised predicative 
                  intuitionistic systems},
  school = 	 {Department of Computer Science, University of Manchester},
  year = 	 {2002}
}

@InCollection{GambinoN:weltdp,
  author = 	 {N. Gambino and M. Hyland},
  title = 	 {Wellfounded trees and dependent polynomial functors},
  booktitle = 	 {Types for proofs and programs},
  pages = 	 {210--225},
  publisher =    {Springer},
  year = 	 {2004},
  editor = 	 {S. Berardi and M. Coppo and F. Damiani},
  volume = 	 {3085},
  series = 	 {Lecture Notes in Computer Science}
}

@InCollection{GambinoN:premcs,
  author = 	 {N. Gambino},
  title = 	 {Presheaf models for constructive set theory},
  booktitle = 	 {From sets and types to proofs and programs},
  pages = 	 {62--77},
  publisher = {Oxford University Press},
  year = 	 {2005},
  editor = 	 {L. Crosilla and P. Schuster}
}

@Article{GambinoN:heyics,
  author = 	 {N. Gambino},
  title = 	 {Heyting-valued interpretations for {C}onstructive {S}et 
                  {T}heory},
  journal = 	 {Annals of Pure and Applied Logic},
  year = 	 {2006},
  volume = 	 {137},
  number = 	 {1--3},
  pages = 	 {164--188}
}

@Article{GambinoN:gentti,
  author = 	 {N. Gambino and P. Aczel},
  title = 	 {The generalised type-theoretic interpretation of 
                  constructive set theory},
  journal = 	 {Journal of Symbolic Logic},
  year = 	 {2006},
  volume = 	 {71},
  number = 	 {1},
  pages = 	 {67--103}
}

@Article{GambinoN:spaft,
  author = 	 {N. Gambino and P. Schuster},
  title = 	 {Spatiality for formal topologies},
  journal = 	 {Mathematical Structures in Computer Science},
  year = 	 {2007},
  volume = 	 {17},
  number = 	 {1},
  pages = 	 {65--80}
}