Mercurial > cpdt > repo

comparison 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
comparison
equal deleted inserted replaced
310:cf67b7d6ceac 311:4cb3ba8604bc
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.3",
107 year = 2010, 107 year = 2010,
108 url={http://coq.inria.fr/refman/} 108 url={http://coq.inria.fr/refman/}
109 } 109 }
110
111 @inproceedings{CIC,
112 author = {Christine Paulin-Mohring},
113 title = {Inductive Definitions in the System {Coq} - Rules and Properties},
114 year = {1993},
115 booktitle = {Proceedings of the International Conference on {Typed Lambda Calculi and Applications}},
116 }
117
118 @inproceedings{SetsInTypes,
119 author = {Benjamin Werner},
120 title = {Sets in Types, Types in Sets},
121 booktitle = {Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software},
122 year = {1997},
123 }
124
125 @article{CoC,
126 author = {Thierry Coquand and G\'erard Huet},
127 title = {The {Calculus} of {Constructions}},
128 journal = {Information and Computation},
129 volume = {76(2-3)},
130 year = {1988}
131 }