Bachelor Informatica



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


Thesis details

TitleType Theory: W-types and Bisimulation [IW]
StudentOtten, D.D. (Daniel)
ProgrammeBachelor Informatica
Year2019-2020
SupervisorsBasold, dr. H. (Henning)
dr. P.J. Bruin (supervisor)
Thesis Open Thesis PDF

Citation details

Otten, D.D. (Daniel), Type Theory: W-types and Bisimulation [IW], Thesis Bachelor Informatica, LIACS, Leiden University, 2020.