@Misc{            Normann,
  Author        = "Normann, Dag",
  date-added    = "2014-01-06 19:43:52 +0000",
  date-modified = "2014-01-06 19:44:45 +0000",
  Keywords      = "higher-order computation and slides",
  Title         = "The Semantics of Higher Order Algorithms",
  Year          = "2013",
  File          = "The Semantics of Higher Order Algorithms - Normann (1) (0) - a - a - r.pdf",
  file-2        = "The Semantics of Higher Order Algorithms - Normann (2) (0) - a - a - r.pdf",
  file-3        = "The Semantics of Higher Order Algorithms - Normann (0) (0) - a - a - r.pdf"
}

@Misc{ Normann, Author = "Normann, Dag", date-added = "2014-01-06 19:43:52 +0000", date-modified = "2014-01-06 19:44:45 +0000", Keywords = "higher-order computation and slides", Title = "The Semantics of Higher Order Algorithms", Year = "2013", File = "The Semantics of Higher Order Algorithms - Normann (1) (0) - a - a - r.pdf", file-2 = "The Semantics of Higher Order Algorithms - Normann (2) (0) - a - a - r.pdf", file-3 = "The Semantics of Higher Order Algorithms - Normann (0) (0) - a - a - r.pdf" }