Category Theory

Summary of "Algebra of Programming"

A student summary of the course “Algebra of Programming” that was taught in the winter semester 23/24

04/05/24

Implementing Categorical Notions of Partiality and Delay in Agda

My bachelor’s thesis in computer science. Advisor: Sergey Goncharov

03/21/24