@MastersThesis{   tarau,
  Author        = "Tarau, Paul",
  date-added    = "2018-04-25 08:30:07 +0000",
  date-modified = "2018-04-25 08:30:35 +0000",
  Title         = "On type-directed generation of lambda terms",
  Year          = "2015",
  File          = "dbt (0) - a - a - r.pdf",
  file-2        = "slides\_iclp15 (0) - a - a - r.pdf"
}

@MastersThesis{ tarau, Author = "Tarau, Paul", date-added = "2018-04-25 08:30:07 +0000", date-modified = "2018-04-25 08:30:35 +0000", Title = "On type-directed generation of lambda terms", Year = "2015", File = "dbt (0) - a - a - r.pdf", file-2 = "slides_iclp15 (0) - a - a - r.pdf" }