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

TitleCoalgebras of Session Types: Defining a Syntax Independent Framework
StudentKeizer, A. (Alex)
ProgrammeBachelor Informatica
Year2019-2020
SupervisorsBasold, dr. H. (Henning)
J.A. PĂ©rez (second supervisor)
Thesis Open Thesis PDF

Citation details

Keizer, A. (Alex), Coalgebras of Session Types: Defining a Syntax Independent Framework, Thesis Bachelor Informatica, LIACS, Leiden University, 2020.