@TechReport{      salvati:tel-01253426,
  Author        = "Salvati, Sylvain",
  date-added    = "2018-11-05 16:04:34 +0100",
  date-modified = "2018-11-05 16:04:38 +0100",
  hal_id        = "tel-01253426",
  hal_version   = "v1",
  Keywords      = "Lambda-calculus ; formal language theory ; mathematics of language ; model checking ; denotational semantics ; lambda-calcul ; th{\'e}orie des langages formels ; math{\'e}matiques du langage ; v{\'e}rification ; s{\'e}mantique d{\'e}notationelle",
  Month         = "December",
  PDF           = "https://hal.archives-ouvertes.fr/tel-01253426/file/hdr.pdf",
  School        = "{Universit{\'e} de Bordeaux}",
  Title         = "{Lambda-calculus and formal language theory}",
  Type          = "Habilitation {\`a} diriger des recherches",
  URL           = "https://hal.archives-ouvertes.fr/tel-01253426",
  Year          = "2015",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/tel-01253426",
  File          = "hdr (1) - a - a - e.pdf"
}

@TechReport{ salvati:tel-01253426, Author = "Salvati, Sylvain", date-added = "2018-11-05 16:04:34 +0100", date-modified = "2018-11-05 16:04:38 +0100", hal_id = "tel-01253426", hal_version = "v1", Keywords = "Lambda-calculus ; formal language theory ; mathematics of language ; model checking ; denotational semantics ; lambda-calcul ; th{\'e}orie des langages formels ; math{\'e}matiques du langage ; v{\'e}rification ; s{\'e}mantique d{\'e}notationelle", Month = "December", PDF = "https://hal.archives-ouvertes.fr/tel-01253426/file/hdr.pdf", School = "{Universit{\'e} de Bordeaux}", Title = "{Lambda-calculus and formal language theory}", Type = "Habilitation {`a} diriger des recherches", URL = "https://hal.archives-ouvertes.fr/tel-01253426", Year = "2015", bdsk-url-1 = "https://hal.archives-ouvertes.fr/tel-01253426", File = "hdr (1) - a - a - e.pdf" }