@TechReport{      Salle,
  Author        = "Sall{\'e}, Patrick",
  date-added    = "2014-01-27 14:23:27 +0000",
  date-modified = "2014-01-27 14:23:38 +0000",
  Title         = "Une g{\'e}n{\'e}ralisation de la th{\'e}orie des types en lambda-calcul",
  File          = "Une généralisation de la théorie des types en lambda-calcul - Sallé (0) (0) - a - a - i.pdf"
}

@TechReport{ Salle, Author = "Sall{\'e}, Patrick", date-added = "2014-01-27 14:23:27 +0000", date-modified = "2014-01-27 14:23:38 +0000", Title = "Une g{\'e}n{\'e}ralisation de la th{\'e}orie des types en lambda-calcul", File = "Une généralisation de la théorie des types en lambda-calcul - Sallé (0) (0) - a - a - i.pdf" }