Author:
Cohen Liron,Abreu Faro Sofia,Tate Ross
Subject
General Computer Science,Theoretical Computer Science
Reference47 articles.
1. Innovations in Computational Type Theory using Nuprl;Allen;Journal of Applied Logic,2006
2. Proofs as Programs;Bates;Transactions on Programming Languages and Systems,1985
3. On the Computational Content of the Axiom of Choice;Berardi;Journal of Symbolic Logic,1998
4. A System of Axiomatic Set Theory. Part III. Infinity and Enumerability. Analysis;Bernays;Journal of Symbolic Logic,1942
5. Interactive Theorem Proving and Program Development;Bertot,2004
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献