@PhdThesis{       leventis:tel-01427279,
  Author        = "Leventis, Thomas",
  date-added    = "2018-04-02 09:26:40 +0000",
  date-modified = "2018-04-02 09:26:40 +0000",
  hal_id        = "tel-01427279",
  hal_version   = "v2",
  Keywords      = {Lambda-calculus ; Standardization Theorem ; B{\"o}hm trees ; Probabilistic ; Lambda-calcul ; Standardisation ; Probabiliste ; arbre de B{\"o}hm},
  Month         = "December",
  PDF           = "https://tel.archives-ouvertes.fr/tel-01427279/file/these\%20\%281\%29.pdf",
  School        = "{Aix-Marseille Universit{\'e}}",
  Title         = "{Probabilistic lambda-theories}",
  Type          = "Theses",
  URL           = "https://tel.archives-ouvertes.fr/tel-01427279",
  Year          = "2016",
  bdsk-url-1    = "https://tel.archives-ouvertes.fr/tel-01427279",
  File          = "these (1) (0) - a - a - y.pdf"
}

@PhdThesis{ leventis:tel-01427279, Author = "Leventis, Thomas", date-added = "2018-04-02 09:26:40 +0000", date-modified = "2018-04-02 09:26:40 +0000", hal_id = "tel-01427279", hal_version = "v2", Keywords = {Lambda-calculus ; Standardization Theorem ; B{\"o}hm trees ; Probabilistic ; Lambda-calcul ; Standardisation ; Probabiliste ; arbre de B{\"o}hm}, Month = "December", PDF = "https://tel.archives-ouvertes.fr/tel-01427279/file/these\%20\%281\%29.pdf", School = "{Aix-Marseille Universit{\'e}}", Title = "{Probabilistic lambda-theories}", Type = "Theses", URL = "https://tel.archives-ouvertes.fr/tel-01427279", Year = "2016", bdsk-url-1 = "https://tel.archives-ouvertes.fr/tel-01427279", File = "these (1) (0) - a - a - y.pdf" }