Submitted Papers
- (with L. Gambarte) The Grothendieck computability model, CiE 2024.
- (with F. L. Grubmueller) A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces, Journal of Logic and Analysis, 2023.
- (with N. Koepp) Strong negation in the theory of computable functionsals TCF, Logical Methods in Computer Science, 2023.
- (with M. Zeuner) Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory, Logical Methods in Computer Science, 2022.
Back to my webpage
Last modified: 24.03.2024