@Unpublished{     BlumOng,
  Author        = "Blum, William and Ong, Chih-Hao Luke",
  date-added    = "2013-11-15 12:49:19 +0000",
  date-modified = "2013-11-15 12:50:05 +0000",
  Keywords      = "safety restriction",
  Month         = "October",
  Title         = "Local computation of {$\beta$}-reduction - A concrete presentation of Game Semantics",
  Year          = "2008",
  File          = "Local computation of {$\beta$}-reduction - A concrete presentation of Game Semantics - Blum, Ong (0) (0) - a - a - u.pdf",
  file-2        = "bctcs08-slides (0) (0) - a - a - u.pdf"
}

@Unpublished{ BlumOng, Author = "Blum, William and Ong, Chih-Hao Luke", date-added = "2013-11-15 12:49:19 +0000", date-modified = "2013-11-15 12:50:05 +0000", Keywords = "safety restriction", Month = "October", Title = "Local computation of {$\beta$}-reduction - A concrete presentation of Game Semantics", Year = "2008", File = "Local computation of {$\beta$}-reduction - A concrete presentation of Game Semantics - Blum, Ong (0) (0) - a - a - u.pdf", file-2 = "bctcs08-slides (0) (0) - a - a - u.pdf" }