resumee-website/content/project/ba/index.md

title	summary	tags	date	external_link	image	links	url_code	url_pdf	url_slides	url_video
Implementing Categorical Notions of Partiality and Delay in Agda	My bachelor's thesis in computer science. Advisor: Sergey Goncharov	Bachelor Thesis Agda Partiality Category Theory Programming Languages	2016-04-27T00:00:00Z	https://git.vatthauer.xyz/leonv/bsc-leon-vatthauer/src/branch/main	focal_point alt_text Smart Graduation cap	icon icon_pack name url file fas Thesis https://wwwcip.cs.fau.de/~hy84coky/bsc-thesis.pdf icon icon_pack name url file fas Slides https://wwwcip.cs.fau.de/~hy84coky/bsc-slides.pdf icon icon_pack name url file fas HTML https://wwwcip.cs.fau.de/~hy84coky/bsc-thesis/ icon icon_pack name url git-alt fab Repo https://git.vatthauer.xyz/leonv/bsc-leon-vatthauer/src/branch/main