@Misc{            CoquandSpivak,
  Author        = "Coquand, Thierry and Spivak, Arnaud",
  date-added    = "2013-02-25 15:20:35 +0000",
  date-modified = "2013-02-25 15:21:27 +0000",
  HowPublished  = "slides",
  Keywords      = "type theory and lambda calculus and domain theory",
  Title         = "Proof of normalisation using domain theory",
  Year          = "2005",
  File          = "Proof of normalisation using domain theory - Coquand, Spivak (0) (0) - a - a - s.pdf"
}

@Misc{ CoquandSpivak, Author = "Coquand, Thierry and Spivak, Arnaud", date-added = "2013-02-25 15:20:35 +0000", date-modified = "2013-02-25 15:21:27 +0000", HowPublished = "slides", Keywords = "type theory and lambda calculus and domain theory", Title = "Proof of normalisation using domain theory", Year = "2005", File = "Proof of normalisation using domain theory - Coquand, Spivak (0) (0) - a - a - s.pdf" }