Author:
Braibant Thomas,Pous Damien
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference56 articles.
1. A. V. Aho, J. E. Hopcroft, and J. D. Ullman.The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.
2. S. F. Allen, R. L. Constable, D. J. Howe, and W. E. Aitken. The semantics of reflected proof. InLICS, pages 95-105. IEEE Computer Society, 1990.
3. M. Armand, B. Grégoire, A. Spiwack, and L. Théry. Extending Coq with imperative features and its application to SAT verification. InProc. ITP, volume 6172 ofLecture Notes in Computer Science, pages 83-98. Springer Verlag, 2010.
4. G. Barthe. Implicit coercions in type systems. InTYPES, volume 1158 ofLecture Notes in Computer Science, pages 1-15. Springer Verlag, 1995.
5. Y. Bertot, G. Gonthier, S. Ould Biha, and I. Pasca. Canonical big operators. InProc. TPHOL, volume 5170 ofLecture Notes in Computer Science, pages 86-101. Springer Verlag, 2008.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献