Publisher
Springer Nature Switzerland
Reference36 articles.
1. Abramsky, S., Jung, A.: Domain theory (corrected and expanded version). In: Handbook of Logic in Computer Science, pp. 1–168. Oxford University Press (1994)
2. Ambridge, T.W.: Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics (2024). https://doi.org/10.48550/arXiv.2401.09270
3. Audebaud, P., Paulin-Mohring, C.: Proofs of randomized algorithms in Coq. Sci. Comput. Program. 74(8), 568–589 (2009). https://doi.org/10.1016/j.scico.2007.09.002
4. Bauer, A., Kavkler, I.: A constructive theory of continuous domains suitable for implementation. Ann. Pure Appl. Logic 159(3), 251–267 (2009). https://doi.org/10.1016/j.apal.2008.09.025
5. Bauer, A., Taylor, P.: The Dedekind reals in abstract Stone duality. Math. Struct. Comput. Sci. 19(4), 757–838 (2009). https://doi.org/10.1017/S0960129509007695