Résultats 1 à 2

Dates de soutenance :


Etablissements :

Valider et fermer
  • Sorbonne Paris Cité (2)
  • Universidad de la República (Montevideo) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique. Informatique fondamentale (1)
  • 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-....) (2)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • anglais (2)

      Langues :

      Fullscreen

      Directeurs de thèse :

      Valider et fermer
      • Gehrke Mai (1)
      • Herbelin Hugo (1)
      • Miquel Alexandre (1)

      Directeurs de thèse :

      Fullscreen

      Domaines :

      Valider et fermer
      • Mathématiques (2)
      • Informatique (1)

      Domaines :

      Fullscreen

      2 thèses pour Codensity monad

      Mathématiques. Logique et fondements de l'informatique

      Soutenue le 10-09-2018
      thèse soutenue

      ...special case of a more general construction, namely thatof a codensity monad (which, in turn, is a special...

      Accéder en ligne
      Informatique. Informatique fondamentale

      Soutenue le 17-11-2017
      thèse soutenue

      ...correspondences with the continuation monad [47] and the codensity monad. Also, wemake plain use here of the fact...

      Accéder en ligne

      Résultats 1 à 2