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

Title Type Theory: W-types and Bisimulation
Student Otten, D.D.
Programme Bachelor Informatica
Year 2019-2020
Thesis Open Thesis PDF

Citation details

Otten, D.D., Type Theory: W-types and Bisimulation, Thesis Bachelor Informatica, Leiden University, 2020.