@PhdThesis{       Kammara,
  Author        = "Kammar, Ohad",
  date-added    = "2014-04-04 05:35:54 +0000",
  date-modified = "2014-04-04 05:36:09 +0000",
  School        = "School of Informatics",
  Title         = "An Algebraic Theory of Type-and-Effect Systems",
  Year          = "2013",
  File          = "An Algebraic Theory of Type-and-Effect Systems - Kammar (0) (0) - a - a - y.pdf"
}

@PhdThesis{ Kammara, Author = "Kammar, Ohad", date-added = "2014-04-04 05:35:54 +0000", date-modified = "2014-04-04 05:36:09 +0000", School = "School of Informatics", Title = "An Algebraic Theory of Type-and-Effect Systems", Year = "2013", File = "An Algebraic Theory of Type-and-Effect Systems - Kammar (0) (0) - a - a - y.pdf" }