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 Coalgebras of Session Types: De ning a Syntax Independent Framework
Student Keizer, A.
Programme Bachelor Informatica
Year 2019-2020
Thesis Open Thesis PDF

Citation details

Keizer, A., Coalgebras of Session Types: De ning a Syntax Independent Framework, Thesis Bachelor Informatica, Leiden University, 2020.