No photo of Nicola Gambino

Nicola Gambino

Dr

  • Department of Mathematics, University of Manchester, Alan Turing Building, Oxford Road

    M13 9PL Manchester

    United Kingdom

If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 2012

    Inductive types in homotopy type theory

    Awodey, S., Gambino, N. & Sojakova, K., Jun 2012, Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25--28, 2012. Dubrovnik, Croatia: IEEE Computer Society , p. 95-104 10 p. (Annual Institute of Electrical and Electronics Engineers Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • 2005

    Presheaf models for constructive set theories

    Gambino, N., 6 Oct 2005, From sets and types to topology and analysis: Towards practicable foundations for constructive mathematics. Crosilla, L. & Schuster, P. (eds.). Oxford: Oxford University Press, p. 62-77 16 p. (Oxford Logic Guides; no. 48).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • 2004

    Wellfounded trees and dependent polynomial functors

    Gambino, N. & Hyland, M., 2004, Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.. Springer Berlin, p. 210-225 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • 2002

    Collection principles in dependent type theory

    Aczel, P. & Gambino, N., 14 Feb 2002, Types for proofs and programs: International workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected papers. Callaghan, P., Luo, Z., McKinna, J. & Pollack, R. (eds.). Berlin: Springer Berlin, p. 1-23 23 p. (Lecture Notes in Computer Science; vol. 2277).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review