Publisher
Springer Nature Singapore
Reference43 articles.
1. Bauer, A.: First steps in synthetic computability theory. Electron. Not. Theoret. Comput. Sci. 155, 5–31 (2006). https://doi.org/10.1016/j.entcs.2005.11.049
2. Bauer, A.: On fixed-point theorems in synthetic computability. Tbilisi Math. J. 10(3), 167–181 (2017). https://doi.org/10.1515/tmj-2017-0107
3. Bauer, A.: Synthetic mathematics with an excursion into computability theory (slide set). University of Wisconsin Logic seminar (2020). http://math.andrej.com/asset/data/madison-synthetic-computability-talk.pdf
4. Bauer, A.: Formalizing invisible mathematics. In: Workshop on Machine Assisted Proofs, Institute for Pure and Applied Mathematics (IPAM) at the University of California in Los Angeles (UCLA), 13–17 February 2023 (2023). https://www.youtube.com/watch?v=wZSvuCJBaFU
5. Bridges, D., Richman, F.: Varieties of Constructive Mathematics, vol. 97. Cambridge University Press (1987). https://doi.org/10.1017/CBO9780511565663