Bachelor Informatica



The following thesis was written by a student in the 2022-2023 class of the Bachelor Informatica programme at Leiden University.


Thesis details

TitleFormalizing the Van Kampen Theorem for Directed Topology [IW]
StudentLawson, D. (Dominique)
ProgrammeBachelor Informatica
Year2022-2023
SupervisorsBasold, dr. H. (Henning)
dr. P.J. Bruin (supervisor)
Thesis Open Thesis PDF

Citation details

Lawson, D. (Dominique), Formalizing the Van Kampen Theorem for Directed Topology [IW], Thesis Bachelor Informatica, LIACS, Leiden University, 2023.