Papers

• Strong negation in the theory of computable functionsals TCF (with N. Koepp), Logical Methods in Computer Science, 2025, to appear.
• Topologies of open complemented subsets, invited chapter in "Constructive Mathematics: Foundation and Practice", M. Mitrovic and M. N. Hounkonnou (Eds.), Mathematics in Mind series, Springer, 2025, to appear.
• A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces (with F. L. Grubmueller), Journal of Logic and Analysis, 17:FDS4, 2025, 1-24.
• Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory (with M. Zeuner), Logical Methods in Computer Science, Volume 20, Issue 4, 2024, pp. 2:1-2:33.
• The Grothendieck computability model (with L. Gambarte), in Ugo de'Liguoro, Matteo Palazzo, Luca Roversi: Proceedings of the 25th Italian Conference on Theoretical Computer Science, CEUR Workshop Proceedings 3811, 16-28, CEUR-WS.org 2024.
• Sets completely separated by functions in Bishop Set Theory, Notre Dame Journal of Formal Logic, 65(2): 151-180 (May 2024) DOI: 10.1215/00294527-2024-0010
• Complemented subsets and Boolean-valued, partial functions, (with D. Misselbeck-Wessel), Computability, vol. 13, no. 3-4, pp. 399-431, 2024.
• Bases of pseudocompact Bishop spaces, invited chapter in Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications), D. S. Bridges, H. Ishihara, M. Rathjen, H. Schwichtenberg (Eds.), Cambridge University Press, 359-394, 2023, https://doi.org/10.1017/9781009039888.015.
• Strict computability models over categories and presheaves, Journal of Logic and Computation, exac077, 2022, https://doi.org/10.1093/logcom/exac077
• Closed subsets in Bishop topological groups, Theoretical Computer Science, 935, 2022, 128-143, https://doi.org/10.1016/j.tcs.2022.09.004
• Proof-relevance in Bishop-style constructive mathematics, Mathematical Structures in Computer Science, Volume 32, Issue 1, 2022, 1-43. doi:10.1017/S0960129522000159
• Algebras of complemented subsets (with D. Wessel), in U. Berger et.al. (Eds): Revolutions and Revelations in Computability, CiE 2022, Lecture Notes in Computer Science 13359, Springer, 2022, 246-258 DOI:10.1007/978-3-031-08740-0_21
• Computability models over categories and presheaves, In: Artemov S., Nerode A. (eds) Logical Foundations of Computer Science. LFCS 2022. Lecture Notes in Computer Science, vol 13137. Springer, 2022, 253-265. https://doi.org/10.1007/978-3-030-93100-1_16
• Direct spectra of Bishop spaces and their limits, Logical Methods in Computer Science, Volume 17, Issue 2, 2021, pp. 4:1-4:50 DOI: 10.23638/LMCS-17(2:4)2021
• Functions of Baire class one over a Bishop topology, in M. Anselmo et al. (Eds.) Beyond the Horizon of Computability, CiE 2020, Springer, Lecture Notes in Computer Science 12098, 215-227, 2020 https://doi.org/10.1007/978-3-030-51466-2_-19
• Embeddings of Bishop spaces, Journal of Logic and Computation, Volume 30, Issue 1, January 2020, 349-379, https://doi.org/10.1093/logcom/exaa015
• McShane-Whitney extensions in constructive analysis, Logical Methods in Computer Science, Volume 16, Issue 1, 2020, pp. 18:1-18:23 DOI: 10.23638/LMCS-16(1:18)2020
• Dependent Sums and Dependent Products in Bishop's Set Theory, in P. Dybjer et. al. (Eds) TYPES 2018, LIPIcs, Vol. 130, Article No. 3, 2019 DOI 10.4230/LIPIcs.TYPES.2018.3 PDF
• Borel and Baire sets in Bishop Spaces, in F. Manea et. al. (Eds): Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, LNCS 11558, Springer, 2019, 240-252
  https://doi.org/10.1007/978-3-030-22996-2_21 PDF
• Constructive uniformities of pseudometrics and Bishop topologies, Journal of Logic and Analysis 11:FT2, 2019, 1-44 https://doi.org/10.4115/jla.2019.11.FT2 PDF
• McShane-Whitney pairs, in J. Kari, F. Manea and I. Petre (Eds.): Unveiling Dynamics and Complexity, CiE 2017, LNCS 10307, 351-363, 2017, DOI:10.1007/978-3-319-58741-7_-33.PDF
• A density theorem for hierarchies of limit spaces over separable metric spaces, in T. V. Gopal, G. Jäger, S. Steila (Eds.): TAMC 2017, Springer LNCS 10185, 484-498, 2017. DOI: 10.1007/978-3-319-55911-7_-35.PDF
• Limit spaces with approximations, Annals of Pure and Applied Logic 167 (9):737-752, 2016, DOI: 10.1016/j.apal.2016.04.013.PDF
• A constructive function-theoretic approach to topological compactness,, in M. Grohe, E. Koskinen and N. Shankar (Eds.) Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, 605-614, DOI: 10.1145/2933575.2933582.PDF
• A direct constructive proof of a Stone-Weierstrass theorem for metric spaces, in A. Beckmann, L. Bienvenu and N. Jonoska (Eds.) Pursuit of the Universal, CiE 2016, Springer, LNCS 9709, 364-374, 2016, DOI: 10.1007/978-3-319-40189-8_-37. PDF
• Editorial, (with H. Leitgeb, P. Schuster and H. Schwichtenberg), IFCoLog Journal of Logics and their Applications, Special Issue Proof, Truth, Computation, Vol.3 No. 4, 513-515, 2016, ISBN 978-1-84890-219-0.
• The Urysohn Extension Theorem for Bishop Spaces, in S. Artemov and A. Nerode (Eds.) Symposium on Logical Foundations in Computer Science 2016, LNCS 9537, Springer, 2016, 299-316, DOI: 10.1007/978-3-319-27683-0_-21. PDF
• Completely Regular Bishop Spaces, in A. Beckmann, V. Mitrana and M. Soskova (Eds.) Evolving Computability, CiE 2015, LNCS 9136, Springer, 2015, 302-312, DOI: 10.1007/978-3-319-20028-6_-31. PDF
• The Contrapositive of Countable Choice for Inhabited Sets of Naturals, Journal of Universal Computer Science, Vol. 18, No. 20, pp. 2879-2892, 2012, DOI: 10.3217/jucs-018-20-2879. PDF
• The role of the Fifth Postulate in the Euclidean construction of parallels , in E. Barbin, N. Stehlikova and C. Tzanakis (Eds.) History and Epistemology in Mathematics Education, Proc.of the 5th European Summer University Vydavatelsky servis, Plzen, 2008, 595-604.
• Brouwer's intuitionism as a self-interpreted mathematical theory , in R. Cantoral, F. Fasanelli, A. Garciadiego, R. Stein., C. Tzanakis (Eds.) Electronic Proceedings of the HPM 2008, History and Pedagogy of Mathematics, Mexico City, 14-18 July 2008.