Funder
Grantová Agentura Ceské Republiky
Publisher
Springer Science and Business Media LLC
Reference57 articles.
1. Abramsky, S., Domain theory in logical form, Annals of Pure and Applied Logic 51(1-2): 1–77, 1991. https://doi.org/10.1016/0168-0072(91)90065-T
2. Aczel, P., Saturated intuitionistic theorie, in H. A. Schmidt, K. Schütte, and H. J. Thiele, (eds.), Contributions to Mathematical Logic, North-Holland, Amsterdam, 1968, pp. 1–11.
3. Berger, U., S. Berghofer, P. Letouzey, and H. Schwichtenberg, Program extraction from normalization proofs, Studia Logica 82(1):25–49, 2006. https://doi.org/10.1007/S11225-006-6604-5.
4. Ciardelli, I., R. Iemhoff, and F. Yang, Questions and dependency in intuitionistic logic, Notre Dame Journal of Formal Logic 61(1):75–115, 2020. https://doi.org/10.1215/00294527-2019-0033.
5. Condoluci, A., and M. Manighetti, Admissible tools in the kitchen of intuitionistic logic,in S. Berardi, and A. Miquel, (eds.), Proceedings Seventh International Workshop on Classical Logic and Computation, vol. 281 of Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, Waterloo, 2018, pp. 10–23. https://doi.org/10.4204/EPTCS.281.2.