@InCollection{    paulinmohring:hal-01094195,
  Author        = "Paulin-Mohring, Christine",
  Editor        = "Paleo, Bruno Woltzenlogel and Delahaye, David",
  BookTitle     = "{All about Proofs, Proofs for All}",
  date-added    = "2019-03-21 22:03:12 +0100",
  date-modified = "2019-03-21 22:03:12 +0100",
  hal_id        = "hal-01094195",
  hal_version   = "v1",
  Keywords      = "Coq proof assistant ; Calculus of Inductive Constructions",
  Month         = "January",
  PDF           = "https://hal.inria.fr/hal-01094195/file/CIC.pdf",
  Publisher     = "{College Publications}",
  Series        = "Studies in Logic (Mathematical logic and foundations)",
  Title         = "{Introduction to the Calculus of Inductive Constructions}",
  URL           = "https://hal.inria.fr/hal-01094195",
  Volume        = "55",
  Year          = "2015",
  bdsk-url-1    = "https://hal.inria.fr/hal-01094195",
  File          = "CIC (0) (0) - a - a - f.pdf"
}

@InCollection{ paulinmohring:hal-01094195, Author = "Paulin-Mohring, Christine", Editor = "Paleo, Bruno Woltzenlogel and Delahaye, David", BookTitle = "{All about Proofs, Proofs for All}", date-added = "2019-03-21 22:03:12 +0100", date-modified = "2019-03-21 22:03:12 +0100", hal_id = "hal-01094195", hal_version = "v1", Keywords = "Coq proof assistant ; Calculus of Inductive Constructions", Month = "January", PDF = "https://hal.inria.fr/hal-01094195/file/CIC.pdf", Publisher = "{College Publications}", Series = "Studies in Logic (Mathematical logic and foundations)", Title = "{Introduction to the Calculus of Inductive Constructions}", URL = "https://hal.inria.fr/hal-01094195", Volume = "55", Year = "2015", bdsk-url-1 = "https://hal.inria.fr/hal-01094195", File = "CIC (0) (0) - a - a - f.pdf" }