2015-book.bib
@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}}
@incollection{paulin15appa,
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}
}