Jans Blog

Oral Examination Notes for Type Systems for Correctness and Security

01.07.2020

After sharing the minutes of my examination in Type Systems for Correctness and Security multiple times via email, I decided to provide a direct download on this blog.

Click here to download my Oral Examination Notes for Type Systems for Correctness and Security.

Click here to download the corresponding .tex source file