Publications

A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces

Fabian Lukas Grubmüller & Iosif Petrakis Journal of Logic and Analysis

• JLA Website

The Category of Iterative Sets in Cubical Agda

Fabian Lukas Grubmüller Mathematics M.Sc.

• PDF
• Code

Unification of Boolean Differential Rings Is Unitary

Fabian Lukas Grubmüller Computer Science B.Sc.

• Open Access LMU
• PDF

Towards a Constructive and Predicative Integration Theory of Locally Compact Metric Spaces

Fabian Lukas Grubmüller Mathematics B.Sc.

• PDF