@PhdThesis{       Bakel,
  Author        = "van Bakel, Steffen",
  date-added    = "2013-07-04 14:10:54 +0000",
  date-modified = "2013-07-10 13:23:49 +0000",
  Keywords      = "intersection types",
  Title         = "Intersection type disciplines in lambda calculus and applicative term rewriting systems",
  File          = "Intersection type disciplines in lambda calculus and applicative term rewriting systems - Bakel (0) (0) - a - a - k.pdf"
}

@PhdThesis{ Bakel, Author = "van Bakel, Steffen", date-added = "2013-07-04 14:10:54 +0000", date-modified = "2013-07-10 13:23:49 +0000", Keywords = "intersection types", Title = "Intersection type disciplines in lambda calculus and applicative term rewriting systems", File = "Intersection type disciplines in lambda calculus and applicative term rewriting systems - Bakel (0) (0) - a - a - k.pdf" }