@slides{          Walukiewiczc,
  Author        = "Walukiewicz, Igor",
  date-added    = "2016-07-03 10:26:14 +0000",
  date-modified = "2016-07-03 10:27:04 +0000",
  Title         = "Recursive Schemes, Krivine Machines, and Monadic Logic",
  where         = "GAMES School, Champery 2013",
  Year          = "2013",
  File          = "Recursive Schemes, Krivine Machines, and Monadic Logic - Walukiewicz (0) (0) - a - a - s.pdf"
}

@slides{ Walukiewiczc, Author = "Walukiewicz, Igor", date-added = "2016-07-03 10:26:14 +0000", date-modified = "2016-07-03 10:27:04 +0000", Title = "Recursive Schemes, Krivine Machines, and Monadic Logic", where = "GAMES School, Champery 2013", Year = "2013", File = "Recursive Schemes, Krivine Machines, and Monadic Logic - Walukiewicz (0) (0) - a - a - s.pdf" }