@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2015-book.cite -ob 2015-book.bib -c 'year = 2015 and topics : "team" and ($type="book" or $type="inbook" or $type="incollection")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
  topics = {team},
  title = {{Introduction to the Calculus of Inductive Constructions}},
  author = {Paulin-Mohring, Christine},
  url = {https://hal.inria.fr/hal-01094195},
  booktitle = {{All about Proofs, Proofs for All}},
  editor = {Bruno Woltzenlogel Paleo and David Delahaye},
  publisher = {{College Publications}},
  series = {Studies in Logic (Mathematical logic and foundations)},
  volume = {55},
  year = {2015},
  month = jan,
  keywords = {Coq proof assistant ; Calculus of Inductive Constructions},
  pdf = {https://hal.inria.fr/hal-01094195/file/CIC.pdf},
  hal_id = {hal-01094195},
  hal_version = {v1}