Mercurial > cpdt > repo

diff latex/cpdt.bib @ 311:4cb3ba8604bc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pass through first half of StackMachine, along with some reorganization of the build process
author Adam Chlipala <adam@chlipala.net>
date Mon, 29 Aug 2011 15:31:06 -0400
parents cf67b7d6ceac
children 495153a41819
line wrap: on
line diff
--- a/latex/cpdt.bib	Mon Aug 29 09:47:39 2011 -0400
+++ b/latex/cpdt.bib	Mon Aug 29 15:31:06 2011 -0400
@@ -107,3 +107,25 @@
   year = 2010,
   url={http://coq.inria.fr/refman/}
 }
+
+@inproceedings{CIC,
+  author = {Christine Paulin-Mohring},
+  title = {Inductive Definitions in the System {Coq} - Rules and Properties},
+  year = {1993},
+  booktitle = {Proceedings of the International Conference on {Typed Lambda Calculi and Applications}},
+}
+
+@inproceedings{SetsInTypes,
+  author    = {Benjamin Werner},
+  title     = {Sets in Types, Types in Sets},
+  booktitle = {Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software},
+  year      = {1997},
+}
+
+@article{CoC,
+  author = {Thierry Coquand and G\'erard Huet},
+  title = {The {Calculus} of {Constructions}},
+  journal = {Information and Computation},
+  volume = {76(2-3)},
+  year = {1988}
+}