Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 434:92f386c33e94

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finish pass taking advantage of new coqdoc features
author Adam Chlipala <adam@chlipala.net>
date Thu, 26 Jul 2012 16:38:44 -0400
parents 3c941750c347
children e53d051681b0
comparison
equal deleted inserted replaced
433:5eebaaa9f952 434:92f386c33e94
42 author = {Gonthier, Georges}, 42 author = {Gonthier, Georges},
43 year = {2008}, 43 year = {2008},
44 title = {Formal Proof--The Four-Color Theorem}, 44 title = {Formal Proof--The Four-Color Theorem},
45 journal = {Notices of the American Mathematical Society}, 45 journal = {Notices of the American Mathematical Society},
46 volume = {55(11)}, 46 volume = {55(11)},
47 pages = {1382-–1393} 47 pages = {1382--1393}
48 } 48 }
49 49
50 @Article{CompCert, 50 @Article{CompCert,
51 author = {Leroy, Xavier}, 51 author = {Leroy, Xavier},
52 year = {2009}, 52 year = {2009},
101 publisher = "Springer Verlag", 101 publisher = "Springer Verlag",
102 } 102 }
103 103
104 @unpublished{CoqManual, 104 @unpublished{CoqManual,
105 author = "{Coq Development Team}", 105 author = "{Coq Development Team}",
106 title = "The {Coq} proof assistant reference manual, version 8.3", 106 title = "The {Coq} proof assistant reference manual, version 8.4",
107 year = 2010, 107 year = 2012,
108 url={http://coq.inria.fr/refman/} 108 url={http://coq.inria.fr/refman/}
109 } 109 }
110 110
111 @inproceedings{CIC, 111 @inproceedings{CIC,
112 author = {Christine Paulin-Mohring}, 112 author = {Christine Paulin-Mohring},
363 363
364 @inproceedings{Isar, 364 @inproceedings{Isar,
365 author = {Wenzel, Markus}, 365 author = {Wenzel, Markus},
366 title = {Isar - A Generic Interpretative Approach to Readable Formal Proof Documents}, 366 title = {Isar - A Generic Interpretative Approach to Readable Formal Proof Documents},
367 booktitle = {Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics}, 367 booktitle = {Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics},
368 series = {TPHOLs '99},
369 year = {1999}, 368 year = {1999},
370 isbn = {3-540-66463-7},
371 pages = {167--184},
372 numpages = {18},
373 url = {http://dl.acm.org/citation.cfm?id=646526.694887},
374 acmid = {694887},
375 publisher = {Springer-Verlag},
376 address = {London, UK, UK},
377 } 369 }
378 370
379 @article{continuations, 371 @article{continuations,
380 author = {Reynolds, John C.}, 372 author = {Reynolds, John C.},
381 title = {The discoveries of continuations}, 373 title = {The discoveries of continuations},