@Unpublished{     Wadler,
  Author        = "Wadler, Philip",
  date-added    = "2012-05-02 08:23:46 +0200",
  date-modified = "2014-11-21 11:20:32 +0000",
  Keywords      = "linear logic and session types and readme",
  Month         = "March",
  Title         = "Propositions as Sessions",
  Year          = "2012",
  File          = "Propositions as Sessions - Wadler (0) (0) - a - a - a.pdf"
}

@Unpublished{ Wadler, Author = "Wadler, Philip", date-added = "2012-05-02 08:23:46 +0200", date-modified = "2014-11-21 11:20:32 +0000", Keywords = "linear logic and session types and readme", Month = "March", Title = "Propositions as Sessions", Year = "2012", File = "Propositions as Sessions - Wadler (0) (0) - a - a - a.pdf" }