@Misc{            Murawski,
  Author        = "Murawski, Andrzej",
  date-added    = "2013-02-26 17:51:35 +0000",
  date-modified = "2013-02-26 17:51:48 +0000",
  HowPublished  = "slides",
  Keywords      = "logical relations and lambda calculus",
  Title         = "Logical Relations",
  File          = "Logical Relations - Murawski (0) (0) - a - a - p.pdf",
  file-2        = "Logical Relations - Murawski (1) (0) - a - a - p.pdf",
  file-3        = "part3 (0) - a - a - p.pdf"
}

@Misc{ Murawski, Author = "Murawski, Andrzej", date-added = "2013-02-26 17:51:35 +0000", date-modified = "2013-02-26 17:51:48 +0000", HowPublished = "slides", Keywords = "logical relations and lambda calculus", Title = "Logical Relations", File = "Logical Relations - Murawski (0) (0) - a - a - p.pdf", file-2 = "Logical Relations - Murawski (1) (0) - a - a - p.pdf", file-3 = "part3 (0) - a - a - p.pdf" }