Author:
Escardó Martín,Oliva Paulo
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Studies in Logic and the Foundations of Mathematics;J. Avigad,1998
2. Berardi, S., Bezem, M., Coquand, T.: On the computational content of the axiom of choice. The Journal of Symbolic Logic 63(2), 600–622 (1998)
3. Berger, U., Oliva, P.: Modified bar recursion and classical dependent choice. Lecture Notes in Logic 20, 89–107 (2005)
4. Berger, U., Oliva, P.: Modified bar recursion. Mathematical Structures in Computer Science 16, 163–183 (2006)
5. Lecture Notes in Computer Science;U. Berger,1995
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献