Filter
Chapter

Search results

  • 2023

    Complete reducibility and subgroups of exceptional algebraic groups

    Stewart, D., Litterick, A. & Thomas, A., 27 Sept 2023, (Accepted/In press) Proceedings of Groups St Andrews 2022 in Newcastle. 43 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    File
    44 Downloads (Pure)
  • 2018

    On the carlitz rank of permutation polynomials over finite fields: recent developments

    Anbar, N., Odžak, A., Patel, V., Quoos, L., Somoza, A. & Topuzoglu, A., 2 Jun 2018, Association for women in mathematics series. Vol. 11. p. 39-55 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 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 proceedingChapterpeer-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 proceedingChapterpeer-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 proceedingChapterpeer-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 proceedingChapterpeer-review