Projects
- Univalent Swap Algebras (UNISWA), Department of Computer Science, University of Verona, Dec 2022-Dec 2024.
- LMUexcellent-Project: Constructive and Predicative Measure Theory (CPMT), Mathematics Institute LMU, 2021.
Last modified: 26.11.2022
Last modified: 26.11.2022