---
title: Implementing Categorical Notions of Partiality and Delay in Agda
summary: "My bachelor's thesis in computer science. Advisor: Sergey Goncharov"
tags:
  - Bachelor Thesis
  - Agda
  - Partiality
  - Category Theory
  - Programming Languages
date: '2024-03-21'

# Optional external URL for project (replaces project detail page).
external_link: 'https://git.vatthauer.xyz/leonv/bsc-leon-vatthauer/src/branch/main'

links:
  - icon: file
    icon_pack: fas
    name: Thesis
    url: https://wwwcip.cs.fau.de/~hy84coky/bsc-thesis.pdf
  - icon: file
    icon_pack: fas
    name: Slides
    url: https://wwwcip.cs.fau.de/~hy84coky/bsc-slides.pdf
  - icon: file
    icon_pack: fas
    name: HTML
    url: https://wwwcip.cs.fau.de/~hy84coky/bsc-thesis/
  - icon: git-alt
    icon_pack: fab
    name: Repo
    url: https://git.vatthauer.xyz/leonv/bsc-leon-vatthauer/src/branch/main
url_code: ''
url_pdf: ''
url_slides: ''
url_video: ''
---