Kunčar, Ondřej
Types, Abstraction and Parametric Polymorphism in Higher-Order Logic
2016
Dissertation
172 p.

Noschinski, Lars
Formalizing Graph Theory and Planarity Certificates
2016
Dissertation
121 p.