@Misc{            ClairambaultRiba:2018,
  Author        = "Clairambault, Pierre and Riba, Colin",
  date-added    = "2019-01-16 19:10:45 +0100",
  date-modified = "2019-01-16 19:15:32 +0100",
  HowPublished  = "online",
  Title         = "Advanced Topics in Semantics of Programming Languages",
  Year          = "2018",
  bdsk-url-1    = "http://perso.ens-lyon.fr/colin.riba/teaching/as/"
}

@Misc{ ClairambaultRiba:2018, Author = "Clairambault, Pierre and Riba, Colin", date-added = "2019-01-16 19:10:45 +0100", date-modified = "2019-01-16 19:15:32 +0100", HowPublished = "online", Title = "Advanced Topics in Semantics of Programming Languages", Year = "2018", bdsk-url-1 = "http://perso.ens-lyon.fr/colin.riba/teaching/as/" }