Author:
Cohen Cyril,Mahboubi Assia
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Barras, B.: Sets in coq, coq in sets. In: Proceedings of the 1st Coq Workshop. Technical University of Munich Research Report (2009)
2. Algorithms and Computation in Mathematics;S. Basu,2006
3. Berardi, S., Valentini, S.: Krivine’s intuitionistic proof of classical completeness for countable languages. Ann. Pure Appl. Logic 129(1-3), 93–106 (2004)
4. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development, Coq’Art: the Calculus of Inductive Constructions. Springer, Heidelberg (2004)
5. Lecture Notes in Computer Science;Y. Bertot,2008
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献