Résultats 1 à 1

Dates de soutenance :


Etablissements :

Valider et fermer
  • Sorbonne Paris Cité (1)

    Etablissements :

    Fullscreen

    Disciplines :

    Valider et fermer
    • Mathématiques. Logique et fondements de l'informatique (1)

      Disciplines :

      Fullscreen

      Ecoles Doctorales :

      Valider et fermer
      • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (1)

        Ecoles Doctorales :

        Fullscreen

        Langues :

        Valider et fermer
        • anglais (1)

          Langues :

          Fullscreen

          Directeurs de thèse :

          Valider et fermer
          • Gehrke Mai (1)

            Directeurs de thèse :

            Fullscreen

            Domaines :

            Valider et fermer
            • Mathématiques (1)

              Domaines :

              Fullscreen

              1 thèse pour Pretopos

              Mathématiques. Logique et fondements de l'informatique

              Soutenue le 10-09-2018
              thèse soutenue

              ...category that is monadic overSet is exact. Roughly speaking, a pretopos is an exact category in which7.3. A...

              Accéder en ligne

              Résultats 1 à 1