Articles
A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces
2025-02-13
|
Fabian Lukas Grubmüller, Iosif Petrakis
Theses
The Category of Iterative Sets in Cubical Agda
2026-01-14
|
Fabian Lukas Grubmüller
Unification of Boolean Differential Rings Is Unitary
2024-09-10
|
Fabian Lukas Grubmüller
Towards a Constructive and Predicative Integration Theory of Locally Compact Metric Spaces
2022-06-06
|
Fabian Lukas Grubmüller