Category Theory

Change of Enrichment over monoidal 2-Categories

August 8, 2024 · Master Thesis

Monads and their Applications in Haskell

October 10, 2020 · Bachelor Thesis