diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-02-19 17:34:23 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-19 17:34:23 +0000 |
| commit | 56cff3aa2cffe1a687b4c47a2f8ea049c815e8af (patch) | |
| tree | fb2ff5d2389e1341691b65339298f28c9d49debf /references.bib | |
| parent | 3434ff03541e9a2bc0487935c2eea4da746b9c46 (diff) | |
| download | latte21_hlstpc-56cff3aa2cffe1a687b4c47a2f8ea049c815e8af.tar.gz latte21_hlstpc-56cff3aa2cffe1a687b4c47a2f8ea049c815e8af.zip | |
Add more text
Diffstat (limited to 'references.bib')
| -rw-r--r-- | references.bib | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/references.bib b/references.bib index 0d4c2f4..840a580 100644 --- a/references.bib +++ b/references.bib @@ -18,3 +18,20 @@ author = {Canis, Andrew Christopher}, year = {2015} } + +@book{bertot04_inter_theor_provin_progr_devel, + keywords = {coq, verification}, + author = {Yves Bertot and Pierre Cast{\'{e}}ran}, + title = {Interactive Theorem Proving and Program Development}, + year = 2004, + publisher = {Springer Berlin Heidelberg}, + url = {https://doi.org/10.1007/978-3-662-07964-5}, + doi = {10.1007/978-3-662-07964-5} +} + +@phdthesis{coquand86, + title = {The calculus of constructions}, + author = {Coquand, Thierry and Huet, G{\'e}rard}, + year = {1986}, + school = {INRIA} +} |