Author:
Escardó Martín,Oliva Paulo
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Aczel, P.: The Russell-Prawitz modality. Math. Structures Comput. Sci. 11(4), 541–554 (2001);
2. Modalities in type theory, Trento (1999)
3. 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)
4. Berger, U., Oliva, P.: Modified bar recursion and classical dependent choice. Lecture Notes in Logic 20, 89–107 (2005)
5. Escardó, M.H.: Infinite sets that admit fast exhaustive search. In: Proceedings of LICS, pp. 443–452 (2007)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献