comparison latex/cpdt.bib @ 364:2fbb47fb02bd

Pass through old content of Equality
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 Nov 2011 16:25:45 -0500
parents e0d91bcf70ec
children d5112c099fbf
comparison
equal deleted inserted replaced
363:7e57c909f0f2 364:2fbb47fb02bd
307 author = {Boutin, Samuel}, 307 author = {Boutin, Samuel},
308 title = {Using reflection to build efficient and certified decision procedures}, 308 title = {Using reflection to build efficient and certified decision procedures},
309 booktitle = {Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software}, 309 booktitle = {Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software},
310 year = {1997}, 310 year = {1997},
311 } 311 }
312
313 @inproceedings{JMeq,
314 author = {McBride, Conor},
315 title = {Elimination with a Motive},
316 booktitle = {Proceedings of the International Workshop on Types for Proofs and Programs},
317 year = {2000},
318 pages = {197--216}
319 }
320
321 @phdthesis{AxiomK,
322 author = {Thomas Streicher},
323 title = {Semantical Investigations into Intensional Type Theory},
324 type = {Habilitationsschrift},
325 school = {LMU M\"unchen},
326 year= {1993}
327 }