Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. H. Barendregt and H. Geuvers. Proof-assistants using dependent type systems. In J. A. Robinson and A. Voronkov, editors,Handbook of Automated Reasoning, pages 1149-1238. Elsevier and MIT Press, 2001.
2. Paul J. Cohen. The independence of the continuum hypothesis. Stanford University Press, 1963,64.
3. Coq proof assistant. http://coq.inria.fr. Denis Cousineau. Complete reducibility candidates. InProof search in Type Theory, pages 1-13, 2009.
4. Denis Cousineau.Models and proof normalization. PhD thesis, École Polytechnique, 2009.
5. Denis Cousineau and Gilles Dowek. Embedding pure type systems in the lambda-pi-calculus modulo. InTLCA, pages 102-117, 2007.