Cahiers de Topologie et Géométrie Différentielle Catégoriques, 1245-530X

Journal

Publications

  1. 2017
  2. Published

    Arithmetic universes and classifying toposes

    Steven Vickers, 1 Dec 2017, In: Cahiers de Topologie et Géométrie Différentielle Catégoriques. 58, 3 & 4, p. 213-248

    Research output: Contribution to journalArticlepeer-review