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

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